A
B
¬A
¬B