Mis on Diskreetne Matemaatika
LOOGIKAALGEBRA (Boole'i algebra) (tehtemärk ⊕) , mis lausearvutuses puudub. See loogikatehe leiab edaspidi
põhjalikku käsitlust.
Loogikaalgebra koosneb loogikaväärtuste hulgast { 0 , 1 } , millel on
defineeritud 3 elementaarset loogikatehet: unaarne tehe inversioon ja LOOGIKALGEBRA PÕHISEOSED
binaarsed tehted konjunktsioon ja disjunktsioon. Loogikaalgebra koosseis _
on seega: eituse eitamise seadus : x̄ = x
< {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
annaabi.ee 
