DeMorgans theorem