Lukion taulukot/Konnektiivit

Kaaviossa merkintä 1 viittaa totuusarvoon tosi ja 0 totuusarvoon epätosi.

Totuustaulut
$P$	$Q$	$\neg P$	$P\wedge Q$	$P\vee Q$	$P\implies Q$	$P\iff Q$
1	1	0	1	1	1	1
1	0	0	0	1	0	0
0	1	1	0	1	1	0
0	0	1	0	0	1	1

Laskusääntöjä
Nimi	Sääntö
Konjunktion vaihdannaisuus	$P\wedge Q\iff Q\wedge P$
Konjunktion liitännäisyys	$(P\wedge Q)\wedge R\iff P\wedge (Q\wedge R)$
Disjunktion vaihdannaisuus	$P\vee Q\iff Q\vee P$
Disjunktion liitännäisyys	$(P\vee Q)\vee R\iff P\vee (Q\vee R)$
Osittelulait	$P\wedge (Q\vee R)\iff (P\wedge Q)\vee (P\wedge R)$ $P\vee (Q\wedge R)\iff (P\vee Q)\wedge (P\vee R)$
De Morganin lait	$\neg (P\wedge Q)\iff (\neg P)\vee (\neg Q)$ $\neg (P\vee Q)\iff (\neg P)\wedge (\neg Q)$