1. Agar funktsiya a ni b ga turli qiymatli akslantirish bo‘lsa, u holda funktsiya a va b to‘plamlarning o‘zaro bir qiymatli mosligi


Download 0.85 Mb.
bet28/53
Sana10.08.2023
Hajmi0.85 Mb.
#1666230
1   ...   24   25   26   27   28   29   30   31   ...   53
Bog'liq
disker sessiya

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



Download 0.85 Mb.

Do'stlaringiz bilan baham:
1   ...   24   25   26   27   28   29   30   31   ...   53




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling