Mis on Diskreetne Matemaatika
muud seosed:
Kasutusel on ka alternatiivseid tehtemärke: & ≡ ∧ ~≡↔ +≡∨
x y w x ȳ = x ( x w y ) ( x w ȳ ) = x
Siintoodud loogikatehteid ja lausearvutuses leiduvaid loogikatehteid
võrreldes leiame siin täiendava olulise loogikatehte "summa mooduliga 2"
mitteelementaarsete loogikatehete asendamine elementaarsete kaudu : funktsiooni kohta sedasama infot mis diagrammgi:
x1 x2 f ( x1 x2 )
x → y = x̄ w y 00 0