a) Логика алгебрасының аксиомалары Логика алгебрасында қарастырылатын айнымалылар 0 немесе 1 мəндерін ғана қабылдай алады.
Логика алгебрасында: эквиваленттілік қатынасы (= арқылы белгіленеді) жəне операциялар: қосу
(дизъюнкция) (v таңбасымен белгіленеді), көбейту амалдар (& конъюнкция ) таңбасымен белгіленеді
немесе терістеу (инверсия) апострофпен немесе үсті сызылып белгіленетін операциялар бар.
Логика алгебрасы келесідей аксиомалар жүйесімен анықталады:
b) Логикалық өрнектер Логикалық өрнектерді жазу əдетте конъюнктивті немесе дизъюнктивті формада логикалық өрнектер
логикалық көбейтудің логикалық қосындысы түрінде, конъюнктивті түрде логикалық қосынды-
лардың логикалық көбейтіндісі түрінде жазылады. Əрекеттер реті, алгебралық өрнектердегідей.
Вестник КазНПУ имени Абая, Серия «Педагогические науки», №4 (52), 2016 г. 128
Логикалық өрнектер логикалық функцияның мəнін логикалық айнымалылардың мəнімен байла-
ныстырады.
