 Boolean circuits are also used as a formal model for combinational logic in digital electronics.Boolean circuits are defined in terms of the logic gates they contain.For example, a circuit might contain binary AND and OR gates and unary NOT gates, or be entirely described by binary NAND gates.