3. DeMorgan’s Theorem - si-manual