Misolni yechish namunasi.
(x ~ z) | ((x • y) ~ (y • z)) ifodasi uchun chinlik jadvalini tuzamiz
Belgilangan ifoda uchta
mantiqiy o'zgaruvchini o'z ichiga oladi. Chinlik jadvalining 1, 2, 3-ustunlarida (1-jadval) x, y, z
o'zgaruvchilar qiymatlarining mumkin bo'lgan birikmalari mavjud. Chinlik jadvali o'zgaruvchan
qiymatlarning turli xil kombinatsiyalari soniga ko'ra 8 ta satrni o'z ichiga oladi.
1-jadval
Hisoblash-kitob natijalari
bilan chinlik jadvali
1
2
3
4
5
6
7
8
x
y
z
x ~ z
x · y
y · z
(x · y) ~ (y · z)
(x ~ z) | ((x ·y) ~ (y·z)
0
0
0
1
0
0
1
0
0
0
1
0
0
0
1
