Ответ:

ABA ∧ BA ∨ (A ∧ B)
0000
0100
1001
1111