‘zbek ist0n respublikasi oliy va ‘rta maxsus ta’lim vazirligi X. K. Aripov, A. M. Abdullayev

11.3-jadval
Dizyunksiya amali haqiqiylik jadvali
x j
* 2
У = x,+ x2
0 0
0
0 1 1
1 0 1
1 1 1www.ziyouz.com
kutubxonasi
Konyunksiya amali haqiqiylik jadvali
XJ
*2
У = X - x2
0 0 0
0 1
0
1 0
0
1 1
1
M antiqiy amallarni ko‘rib chiqish uchun 11.5-jadvalda keltirilgan
aksioma va qonunlar qatoridan foydalanamiz.
Assotsiativlik qonunlaridan foydalanib, ko'p o ‘zgaruvchi (n>2)
ixtiyoriy m an tiq iy funksiyasini ikkita o 'zg aru v ch i funksiyalar
kom binatsiyasi k o 'rin ish id a ifodalash m um kin.
= 16 ikkita
o'zgaruvchi funksiyalarining to'liq majmui 11,6-jadvalda keltirilgan.
Funksiyalarning har biri x,x2 o'zgaruvchilar ustidan amalga oshirish
mumkin bo'lgan 16 ta mantiqiy amal kombinatsiyadan birini bildiradi
va ular o'z nomi va shartli belgisiga ega.
11.5-jadva I
Mantiq algebrasining asosiy aksioma va qonunlari
Aksiomalar
0+x=x
(11.2)
0-.v=0
\+x=x
(11.3)
1 -x=x
x+x=x
(11.4)
X'X=X
x + x = \
(11.5)
x-x=0
X = X
(11.6)
Kommutativlik qonunlari
X / + X 2- X 2 + X j
(11.7)
X/ ■ X , = X 2- Xi
Assotsiativlik qonunlari
x /+ х2+ хз= X/+ (x2+ x 3) (11.8)
Xj ■ X 2 ■ Хз= X, ■ (x2 ■
Л-.0
Distributlik qonunlari
X/' (x.j + JCi) = ( Х / - Х 2) + (X/ ■ A'i)
(11.9)
x ,+ (x2 - X j ) = ( X, + X 2 ) ■ ( X , + X j )www.ziyouz.com
kutubxonasi
Duallik qonunlari
(de - Morgan teoremasi)