De-Morgan's Theorems
Simulation
De-Morgan's theorem 1
De-Morgan's theorem 2