(¬(a∧b))∨((¬(a∨b))∧(¬((¬a)∨(¬b))))
(¬a)∨(¬b)
+---+---+--------+ | a | b | result | +===+===+========+ | 0 | 0 | 1 | +---+---+--------+ | 0 | 1 | 1 | +---+---+--------+ | 1 | 0 | 1 | +---+---+--------+ | 1 | 1 | 0 | +---+---+--------+