The consensus theorem is
missing:
A.B + !A.C + BC = A.B + !A.C
and its dual
(A+B).(!A+C).(B+C)=(A+B).(!A+C)
* Inverter can be implemented
with NAND gates using double
complement
!(C.C) = !C+!C = !C