c) Логикалық теңбе-теңдіктер Логикалық өрнектерді түрлендіргенде логикалық теңбе-теңдіктер қолданылады:
;
x x =
;
1
1
=
∨
x
;
0
x x =
∨
;
1
1
=
⋅
x
;
x x x =
∨
;
x x x =
⋅
;
x y x x =
⋅
∨
;
x xy xy =
∨
(
)
;
)
(
x y x y x =
∨
∨
;
y x y x x ∨
=
∨
;
y x xy ∨
=
y x y x ⋅
=
∨
.
d) Логикалық функциялар n айнымалыдан тұратын
1
1
,...,
,
x x x n n −
логика алгебрасының шекті əрекеттері арқылы құрас-
тырылған кез-келген логикалық өрнекті n айнымалының функциясы ретінде қарастыруға болады.
Мұндай функцияны логикалық деп атайды. Логика алгебрасының аксиомаларына сəйкес функция
айнымалылардың мəніне сəйкес 0 немесе 1 мəндерін қабылдай алады. n логикалық айнымалылардың
функциясы, n-разрядты екілік сандардың барлық мүмкін мəндеріне сəйкес айнымалылардың 2
n
мəні
үшін анықталады.
Басты назарда х жəне у айнымалыларының келесі функциялары:
y x y x f ⋅
=
)
,
(
1
–логикалық көбейту;
y x y x f ∨
=
)
,
(
2
–логикалық қосу;
y x y x f ⋅
=
)
,
(
3
–логикалық инверсиялы көбейту;
y x y x f ∨
=
)
,
(
4
- логикалық инверсиялы қосу;
y x y x y x y x f ∨
=
⊕
=
)
,
(
5
-2 модуль бойынша қосу;
xy xy y x y x f ∨
=
⊕
=
)
,
(
6
-тепе-тең мəн
e) Логикалық схемалар Логика алгебрасының операцияларының бірі немесе қарапайым логикалық операцияның бірін іске
асыратын логикалық элемент деп аталады. Логикалық элементтердің шекті мəнінен құрастырылған
схема логикалық схема деп аталады.
Негізгі логикалық функцияларға олардың орындаушы схемалық элементтері сəйкес келеді.
J) Ақиқаттық кестесі n айнымалының кез келген функциясының анықталу облысы шекті болатындықтан, мұндай
функция
i ϑ
нүктесінде қабылдайтын: мұндағы
)
(
,
1
2
...
1
,
0
i i n f i ϑ
−
=
кестесімен берілуі мүмкін.
Мұндай кестелерді ақиқаттық кестесі деп атайды. Кесте 1-де жоғарғыдағы функцияларды беретін
ақиқаттық кестелері келтірілген [3].