A       B       C       ~(C /\ ((A /\ ~B) \/ (~A /\ B))) \/ (~C /\ ((A /\ ~B) \/ (~A /\ B)))
0       0       0       1
0       0       1       1
0       1       0       1
0       1       1       0
1       0       0       1
1       0       1       0
1       1       0       1
1       1       1       1