-(A ∧ C) v -A
A | B | C | A ∧ C | -(A ∧ C) | -A | -(A ∧ C) v -A
0 | 0 | 0 | 0 | 1 | 1 | 1
0 | 0 | 1 | 0 | 1 | 1 | 1
0 | 1 | 0 | 0 | 1 | 1 | 1
0 | 1 | 1 | 0 | 1 | 1 | 1
1 | 0 | 0 | 0 | 1 | 0 | 1
1 | 0 | 1 | 1 | 0 | 0 | 0
1 | 1 | 0 | 0 | 1 | 0 | 1
1 | 1 | 1 | 1 | 0 | 0 | 0