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