Tag: getting boolean expressions from logic gates