(p and q) implies (p or q)