DeMorgan's law lecture notes