Lukion taulukot/Konnektiivit

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

Totuustaulut

$P$	$Q$	$\mathrm{\neg }P$	$P\wedge Q$	$P\vee Q$	$P⟹Q$	$P⟺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⟺Q\wedge P$
Konjunktion liitännäisyys	$(P\wedge Q)\wedge R⟺P\wedge (Q\wedge R)$
Disjunktion vaihdannaisuus	$P\vee Q⟺Q\vee P$
Disjunktion liitännäisyys	$(P\vee Q)\vee R⟺P\vee (Q\vee R)$
Osittelulait	$P\wedge (Q\vee R)⟺(P\wedge Q)\vee (P\wedge R)$ $P\vee (Q\wedge R)⟺(P\vee Q)\wedge (P\vee R)$
De Morganin lait	$\mathrm{\neg }(P\wedge Q)⟺(\mathrm{\neg }P)\vee (\mathrm{\neg }Q)$ $\mathrm{\neg }(P\vee Q)⟺(\mathrm{\neg }P)\wedge (\mathrm{\neg }Q)$