2.1.5 DeMorgans Theorem