- Nous avons repéré les équivalences
suivantes, très utiles dans le contexte de la méthode de
Smullyan, voire même nécessaires afin de décomposer
les énoncés complexes dont le foncteur principal n'est ni
& ni v:
 X |
 |
X |
|
(X
Y) |
|
(X
v Y) |
|
(X
Y) |
|
[(X
Y) & (Y X)] |
|
(X
Y) |
|
[(X & Y) v (X
& Y)] |
|
(X v Y)
|
|
[(X v Y) & (X
& Y)] |
|
(X
Y) |
|
[(X
& Y)] |
|
(X
Y) |
|
(X & Y) |
|
(X
& Y) |
|
(X
v Y) |
|
(X
v Y) |
|
(X
& Y) |
|
(X
Y) |
|
(X v Y) |