4- misol. va formulalarning chinlik to‘plamlari, mos
ravishda, va bo‘lgani uchun (2- va 3- misollarga qarang) kon’yunksiyaning chinlik to‘plami bo‘ladi. ■
Diz’yunksiyaning chinlik to‘plami. va formulalar diz’yunksiyasining chinlik to‘plami bo‘ladi. Haqiqatdan ham, diz’yunksiya ta’rifiga asosan, formula va formulalarning kamida bittasi chin bo‘lgandagina chindir. Demak, to‘plamda formula chindir. Shunday qilib, formulaning chinlik to‘plami va to‘plamlarning barcha elementlaridan, ularni takrorlamasdan, tuzilgan birlashmasidan iborat bo‘ladi. Demak, mulohazalar mantiqidagi diz’yunksiya ( ) amaliga to‘plamlar nazariyasidagi birlashma ( ) amali mos keladi
Implikasiyaning chinlik to‘plami. va formulalar implikasiyaning chinlik to‘plamini topamiz. formulaning chinlik to‘plami va formulaning chinlik to‘plami bo‘lgani uchun, teng kuchlilikka ko‘ra, formulaning chinlik to‘plami bo‘ladi. 1- shaklda tasvirlangan to‘plamning bo‘yalmagan qismi implikasiyaning chinlik to‘plamiga mos keladi.
Ekvivalensiyaning chinlik to‘plami. va formulalar ekvivalensiyasining chinlik to‘plamini aniqlash uchun teng kuchlilikdan foydalanamiz. Yuqorida qilingan xulosalarga ko‘ra formulaning chinlik to‘plami bo‘ladi. 2- shaklda tasvirlangan to‘plamning bo‘yalmagan qismi ekvivalensiyaning chinlik to‘plamiga mos keladi
|
a1 a2 a3 a4 a5 a6 a7
|
a1
|
0 1 1 0 1 0 0
|
a2
|
1 0 0 1 0 1 0
|
a3
|
1 0 0 1 1 0 0
|
a4
|
0 1 1 0 0 1 0
|
a5
|
1 0 1 0 0 0 1
|
a6
|
0 1 0 1 0 0 1
|
a7
|
0 0 0 0 1 1 0
|
Do'stlaringiz bilan baham: |