Mis on Diskreetne Matemaatika
< {0 1} ; ¯ ∧∨ >
Kõik 3 loogikatehet on juba eelpool lausearvutuse juures defineeritud ja kõik seosed konstantidega 0 ja 1 :
lausearvutuses kehtiv kehtib ka loogikaalgebras. __ __
Muutuja xi on loogikamuutuja , kui ta saab omandada väärtusi ainult 0 = 1 1 = 0 0⋅1=0 0w1=1
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
annaabi.ee 
