A | B | C | ¬A | ¬C | B ∧ ¬C | ¬A ∨ (B ∧ ¬C) | (¬A ∨ B ∧ ¬C) ∧ C
0 | 0 | 0 | 1 | 1 | 0 | 1 | 0
0 | 0 | 1 | 1 | 0 | 0 | 1 | 1
0 | 1 | 0 | 1 | 1 | 1 | 1 | 0
0 | 1 | 1 | 1 | 0 | 0 | 1 | 1
1 | 0 | 0 | 0 | 1 | 0 | 0 | 0
1 | 0 | 1 | 0 | 0 | 0 | 0 | 0
1 | 1 | 0 | 0 | 1 | 1 | 1 | 0
1 | 1 | 1 | 0 | 0 | 0 | 0 | 0