A B C ⌐B C→(⌐B) ⌐A (⌐A)vC (C→(⌐B))⊕((⌐A)vC)
0 0 0 1 1 1 1 0
0 0 1 1 1 1 1 0
0 1 0 0 1 1 1 0
0 1 1 0 0 1 1 1
1 0 0 1 1 0 0 1
1 0 1 1 1 0 1 0
1 1 0 0 1 0 0 1
1 1 1 0 0 0 1 1
A B C ⌐B C→(⌐B) ⌐A (⌐A)vC (C→(⌐B))⊕((⌐A)vC)
0 0 0 1 1 1 1 0
0 0 1 1 1 1 1 0
0 1 0 0 1 1 1 0
0 1 1 0 0 1 1 1
1 0 0 1 1 0 0 1
1 0 1 1 1 0 1 0
1 1 0 0 1 0 0 1
1 1 1 0 0 0 1 1