[OJFord]

You only need one of {AND, OR} too.

((a or b) is (not ((not a) and (not b))), and vice versa.)