p and q
p -> q
p or q
not p
p <-> q
(p or q) and (not p or r)
p <-> (q and r)
(p -> q) and (q -> r) and p and not r
(p and q) or (r and s)
not (p or q)
p and not p
(p -> q) <-> (not q -> not p)
(a or b) and (c or d) and (e or f)
(x and y) or (z and w) or (u and v)