To verify De-Morgan's theorems.

To verify De-Morgan's theorems.