Adequate Sets of Connectives
Select the set of connectives that you wish to start with. Then press submit to have Thoralf determine which of the other connectives can be expressed in terms of the set you chose.
Constants
0
1
Negation
¬
Binary Connectives
, named A through P, with their truth tables
A
0
1
0
1
0
0
0
0
_____
B
0
1
0
1
0
0
0
1
C
0
1
0
1
0
0
1
0
_____
D
0
1
0
1
0
0
1
1
1st proj.
E
0
1
0
1
0
1
0
0
_____
F
0
1
0
1
0
1
0
1
2nd proj.
G
0
1
0
1
0
1
1
0
+
H
0
1
0
1
0
1
1
1
I
0
1
0
1
1
0
0
0
_____
J
0
1
0
1
1
0
0
1
K
0
1
0
1
1
0
1
0
_____
L
0
1
0
1
1
0
1
1
_____
M
0
1
0
1
1
1
0
0
_____
N
0
1
0
1
1
1
0
1
O
0
1
0
1
1
1
1
0
|
P
0
1
0
1
1
1
1
1
_____