Leniwiec.edu.pl

Symbole oznaczające zdania 
zdanie prawdziwe: 
zdanie fałszywe: 

- spójnik negacji - nieprawda, że

1	0
0	1

- koniunkcja - i

1	1	1
1	0	0
0	1	0
0	0	0

- alternatywa - lub

1	1	1
1	0	1
0	1	1
0	0	0

- spójnik implikacji - jeżeli to ( - poprzednik implikacji, - następnik implikacji)

1	1	1
1	0	0
0	1	1
0	0	1

- równoważność - wtedy i tylko wtedy gdy

1	1	1
1	0	0
0	1	0
0	0	1