Ответ:

ABCA ∧ C ∧ B¬A-(A ∧ C ∧ B) ∨ ¬A
000011
001011
010011
011011
100000
101000
110000
111100