OR gate
Alternatively, an XOR gate is made by considering the disjunctive normal form formula_1, noting from de Morgan's Law that a NAND gate is an inverted-input OR gate. This construction uses five gates instead of four.