Boolean logic

Mathematical logic and related calculation rules suitable for realizing digital electronic circuits. It uses the symbols of the binary numbering system and the elementary logic operations (NOT, AND, NAND, OR, NOR, XOR)