¯2 w x2 x1 w ¯1 x2 x i t Loogikaavaldis sarnaneb lausearvutuses kasutatavale lausearvutusvalemile t 0 0 s ning ta defineeritakse analoogiliselt: 0 1 n
"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 ) : __ — kui A on loogikaavaldis, siis on avaldised ka A ja ( A ) ______ ____
annaabi.ee 
