1. Fikr tushunchasi. Fikrlar ustida mantiqiy amallar. Chinlik jadvali

Quyidagi formulalarning qaysi biri DNF bo‘ladi?
<sub>бу ДНФ каранг кавснинг ичида конъюнкция ташкарида дизъюнкция ва инкор факат мулохазага тегишли


- бу ДНФ эмас инкор кавсдан ташкарида
- бу ДНФ эмас кавсни ичида бошка амал</sub>


Quyidagi formulalarning qaysi biri KNF bo‘ladi?
<sub>бу КНФ каранг кавснинг ичида дизъюнкция ташкарида конъюнкция ва инкор факат мулохазага тегишли
-бу КНФ эмас инкор кавсдан ташкарида


-бу КНФ эмас чунки кавснинг ичида дизъюнкция ташкарида конъюнкция ва инкор факат мулохазага тегишли эмас</sub>


Quyidagi ikki o‘zgaruvchili formulaning MDNFida nechta xad bor?
_{Бундай мисолларни ечиш учун чинлик жадвали тузилади ва 1лар саналади тамом}


Quyidagi ikki o‘zgaruvchili formulaning MKNFida nechta xad bor?
_{Бундай мисолларни ечиш учун чинлик жадвали тузилади ва 0лар саналади тамом}
formula propozitsional o‘zgaruvchilar tanlanmalarining nechtasida rost qiymat qabul qiladi.


_{Бундай мисолларни ечиш учун чинлик жадвали тузилади ва 1лар саналади тамом}


formula propozitsional o‘zgaruvchilar tanlanmalarining nechtasida yolg’on qiymat qabul qiladi.


_{Бундай мисолларни ечиш учун чинлик жадвали тузилади ва 0лар саналади тамом}
I:
S: Mulohazaning inkori deb nimaga aytiladi?
-:Yolg’on qiymatni qabul qiluvchi mulohaza
-:Rost qiymatni qabul qiluvchi amal.
+:Berilgan mulohaza rost qiymatni qabul qilganda yolg’on, yolg’on qiymatni qabul qilganda rost qiymatni qabul qiluvchi mulohaza.
-:Berilgan mulohaza rost qiymatni qabul qilganda rost, yolg’on qiymatni qabul qilganda yolg’on qiymatni qabul qiluvchi mulohaza.
I:
S: Ikki mulohazaning kon’yunksiyasi deb nimaga aytiladi?
-:Ikkala mulohaza ham bir vaqtda yolg’on qiymatlarni qabul qilgandagina yolg’on qolgan xollarda rost qiymatlarni qabul qiluvchi amal.
-:Birinchi mulohaza rost ikkinchi mulohaza yolg’on qiymatlarni qabul qilganda yolg’on, qolgan hollarda rost qiymatni qabul qiluvchi amal.
-:Ikkala mulohaza ham bir vaqtda bir xil qiymatlarni qabul qilganda rost qolgan xollarda yolg’on qiymatlarni qabul qiluvchi amal.
+:Ikkala mulohaza ham bir vaqtda rost qiymatlarni qabul qilgandagina rost qolgan xollarda yolg’on qiymatlarni qabul qiluvchi amal.
I:
S: tenglamani yeching
-:
+:
-:
-:
I:
S:_{Agar A-chin, V-chin, bo’lsa u xolda A→­­V :}
+: _{Xar doim chin
-:Xar doim yolgon
-: Aniqlash mumkin emas
-:yolgon yoki chin}
I:
S: De - Morgan qonuni qanday?
-:
-:
+:
-:
I:
S:Keltirilgan formula deb qanday formulaga aytiladi?
-:Faqat yolg’on qiymatni qabul qiluvchi formulaga

+:Faqat ˅, ˄ va ¬ amallari va inkor amali faqat mulohazaning o’ziga tegishli bo’lgan formulaga aytiladi

-:Faqat chin qiymatni qabul qiluvchi formulaga
-:Har qanday formulaga
I:
S: Ushbu sistemalar ichida qaysi biri to’liq emas?
-: 
-: 
+:
-: 
I:
S: Mulohazalar algebrasida qavslar ishtirok etmasa amallarning bajarilish ketma-ketligini ko’rsating?