Mis on Diskreetne Matemaatika
hulgast { 0 1 }. xi ∈ { x1 x2 . . . . xn }
Numbrimärkidena 0 ja 1 esitatud loogikaväärtusi nimetatakse ka
"konstant 0" ja "konstant 1" , et rõhutada nende erinevust muutujatest xi . x⋅0 = 0 x⋅1 = x x ⋅ x̄ = 0
Loogikaavaldis on loogikamuutujaid xi , konstante 0 1 ja tehtemärke
sisaldav kooslus, mis tema muutujate xi väärtustamisel omandab samuti xw0 = x xw1 = 1 x w x̄ = 1
loogikaväärtuse 0 või 1 .
Loogikaavaldis sarnaneb lausearvutuses tuntud lausearvutusvalemile ning idempotentsus : x⋅x = x xwx = x
ta defineeritakse analoogiliselt:
— loogikamuutuja xi ja konstandid 0 1 on loogikaavaldised
de Morgani seadused ( 2he muutuja jaoks ) :
__
annaabi.ee 
