1. Mantiq amallari: dizyunksiya,konyuksiya inkor


Berilgan formulalar teng kuchli ekanligini isbotlang. Yechish



Download 12,84 Mb.
bet22/31
Sana06.07.2022
Hajmi12,84 Mb.
#745643
1   ...   18   19   20   21   22   23   24   25   ...   31
Bog'liq
totaliy algebra

Berilgan formulalar teng kuchli
ekanligini isbotlang.
Yechish. Berilgan formulalar teng kuchli ekanligini isbotlash
uchun rostlik jadvallari tuzamiz:

Formulalaming rostlik jadvallaridagi formulalar rostlik qiymatlari
ustunlari mos tizimlarda bir xil ekanligidan berilgan formulalaming
teng kuchli ekanligi kelib chiqadi.
Formulalaming teng kuchli ekanligini isbotlash uchun bitta
rostlik jadvalini tuzish ham mumkin:

Hosil bo‘lgan 4- va 7- ustunlardagi rostlik qiymatlarini solishtirib,
berilgan formulalaming teng kuchli ekanligiga ishonch hosil
qilamiz.
3-misol.

tengkuchlilikni asosiy teng
kuchliliklar yordamida isbotlang.
Yechish. Asosiy teng kuchliliklardan foydalanib, quyidagi
teng kuchli formulalar ketma-ketligini hosil qilamiz:

81-SAVOL. Ikki qiymstli funksiyalarni mulohazalar algebrasining formulalari orqali ifodalash.



82-SAVOL. Normal forma, mukammal dizyunktiv normal forma(MDNF) va mukammal konyuktiv normal forma( MKNF) ni hosil qilish.






83-savol. Ikkilik prinspi va ikkilik qonuni yordamida qo'shma formulalarni hosil qilish. F unksiyalarning to'liq sistemasi.



84-savol. Aksiomalar va keltirib chiqarish qoidalari yordamida formulalarning keltirib chiqariluvchanligini isbotlash.











85. Gipotezalardan keltirib chiqarish. Deduksiya teoremasini qo’llash. Formulalarga teng kuchli almashtirishlar bajarish.




86. Teng kuchli formulalarni isbotlash. Formulani normal formaga keltirish.




Download 12,84 Mb.

Do'stlaringiz bilan baham:
1   ...   18   19   20   21   22   23   24   25   ...   31




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

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish