Loogikatehe "SUMMA MOODULIGA 2"
väärtusega 1 paaritu arv operande (näiteks ainult üks operand), siis
r
Tõeväärtustabelite täpne kokkulangevus tõestab nendele vastavate avaldiste
võib sellises avaldises asendada kõik disjunktsioonitehted tehtega
A
loogilist samaväärsust. Seega võib konjunktsioonitehet kasutades sulge lahti
korrutada mitte ainult suhtes, vaid ka suhtes.
0 1 0 0 0 = 0 1 0 0 0
t
Võrduse x ( y z ) = x y x z kehtivust võime kontrollida ka
u
tema mõlemaid pooli teisendades asendusseose
u