A B C D ¬A ¬B ¬A ∧ ¬B (¬A ∧ ¬B) ∨ C ((¬A ∧ ¬B) ∨ C) ∧ D
000011110
000111111
001011110
001111111
010010000
010110000
011010010
011110011
100001000
100101000
101001010
101101011
110000000
110100000
111000010
111100011