|
Mavzu: Normal formalar. Mdnf, mknf. Mulohazalar algebrasi formulalarini mdnf va mknf larda ifodalash
|
səhifə | 7/8 | tarix | 08.04.2022 | ölçüsü | 221,14 Kb. | | #85164 |
| 2-mavzu5- misol. 2- teoremadan foydalanib, 4- misolda MKNShi topilgan formulani MDNShga keltiramiz. Ushbu bobning 5- paragrafidagi 4- teoremaga asoslanib, berilgan formulaning doimo yolg‘on emasligiga ishonch hosil qilish qiyin emas. Avvalo mantiqiy formulani MKNShga keltirish algoritmidan foydalanib formulani MKNShga keltiramiz:
.
formulaning topilgan MKNShi tarkibida qatnashgan barcha belgilar o‘rniga belgi va, aksincha, o‘rniga hamda , va elementar mulohazalar o‘rinlariga mos ravishda , va , shunga o‘xshash, , va inkorlar o‘rinlariga mos ravishda , , va qo‘yilsa, u holda formulaning MDNShi hosil bo‘ladi. ■
Dostları ilə paylaş: |
|
|