Mis on Diskreetne Matemaatika
baasis puuduvad elementaartehted baasis olemasolevate tehete kaudu. ——————————————————————————————
__ __ { & ⊕ 1 }: ( & lubatud, vaja asendada inversioon ja Z )
Baasid { Z } { & } ei oma erandina üleminekuseoseid, kuna nendesse
teisendamiseks piisab sobiva normaalkuju topeltinversioonist koos järgneva
x̄ = x ⊕ 1
de Morgani seaduse rakendamisega: _____
_____ x 1 Z x 2 = x̄ 1 x̄ 2 = (x 1 ⊕ 1) (x 2 ⊕ 1) ⊕ 1 =
__ _____
{ Z } ⇐⇒ KNK