Тупламлар Agar A={xϵN: X 2+x-20=0}, B={xϵR: X 2-7x+12=0}, u holda a ∩ B=? 4
Download 40.69 Kb.
|
Дискрет Якуний20 nazariy
Математик мантиқ.
A va B mulohazalar dizyunksiyasi rost bo’lgan mulohaza deyiladi, faqat va faqat shu holdaki. A va B mulohazalar konyunksiyasi rost bo’lgan mulohaza deyiladi, faqat va faqat shu holdaki. A va B mulohazalar ekvivalentligi rost bo’lgan mulohaza deyiladi faqat va faqat shu holda qachon? Faraz qilaylik P mulohaza «Men ТAТU da o’qiyman», Q - «Men diskret matematikani yoqtiraman» bo’lsin. «Men ТAТU da o’qiyman va diskret matematikani yoqtiraman» mulohazani algebraik mantiq tiliga o’giring. Faraz qilaylik P mulohaza «Men ТAТU ga o’qishga kiraman», Q - «Men diskret matematikani o’rganaman» bo’lsin. «Agar men ТAТU ga o’qishga kirsam unda diskret matematikani o’rganaman» mulohazani algebraik mantiq tiliga o’giring. De-morgan qonuni. Dizyunksiyaning assotsiativlik qonuni. Konyunksiyaning kommutativlik qonuni. Implikatsiya A→B nimaga teng. Inkor ¬A nimaga teng. Yutilish qonuni. Ikkilangan rad etish qonuni. Idempotentlik qonuni: Diz`yunktsiya amalining kommutativlik qonuni. Kon`yunksiya amalining assotsiativlik qonuni Tavtologiya qonuni: Ziddiyat qonuni: Kontrpozitsiya qonuni: Ekvivalentlikdan qutilish qonuni. Implikatsiyadan qutilish qonuni: f=x ∧ y → (x ∨ (y ~ x)) formulaga rostlik jadvali qaysi? f=(х ∨ у) → (¬х ↓ ¬у) formulaga mos rostlik jadvali qaysi? f=(х ∧ у) | (¬х ↓ ¬у) formulaga mos rostlik jadvali qaysi? Formulani soddalashtiring ¬(¬P ∨ Q)→((P ∨ Q) → P) Formulani soddalastiring P∧R∨ ¬((¬P∨R)∧¬Q) Formulani soddalastiring A→(B →А) ¬(x∨z)(x→y) formula uchun asosiy tengliklarni ishlatib, keltirilgan formulalardan qaysi biri diz’yunktiv normal shakl bo’ladi. (x⊕y)→yz formula uchun asosiy tengliklarni ishlatib, keltirilgan formulalardan qaysi biri diz’yunktiv normal shakl bo’ladi. ¬((¬х∨у)→(х↓z)) formula uchun asosiy tengliklarni ishlatib, keltirilgan formulalardan qaysi biri kon’yunktiv normal shakl bo’ladi. Qiymatlari f=(1,0,1,0,1,0,0,0) bo’lgan f(x,y,z) Bul funksiyasi berilgan. MDNSh ni tuzing. Qiymatlari f=(1,1,0,0,0,1,1,1) bo’lgan f(x,y,z) Bul funksiyasi berilgan. MKNSh ni tuzing. Qiymatlari f=(1,0,1,1,0,1,1,0) bo’lgan f(x,y,z) Bul funksiyasi berilgan. MDNSh ni tuzing. Kon’yunktiv normal shaklni toping Diz’yunktiv normal shaklni toping. ¬A&B∨A&¬B∨A&B formulani soddalashtiring A&B∨A&¬B∨A&B formulani soddalashtiring A&B∨A&¬B∨¬A&B formulani soddalashtiring Sheffer shtrixini toping Pirs strelkasini toping Halqali yig‘indini toping Download 40.69 Kb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling