Search: Prove that {NOT, AND, NOR}