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

Тестларни ечиш, эсга саклаш, урганиш учун


Quyidagi belgilar ketma-ketliklarining qaysi biri formula bo‘ladi?
Демак формула булиши учун 1) ташкаридан кавсга олиниши керак
2) АBC мулохазалар орасида бирор амал куйилиши керак _{формула эмас}
3) Иккита амал уртасида АBC мулохазалар булиши керак _{формула эмас
4) бу формула эмас чунки ташкаридан кавс йук. иккита амал кетма кет келган хисобланмайди инкор амали В га тегишли}


Quyidagi ikki o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlanmasida 1 qiymat qabul qiladi?
_{Бундай мисолларни ечиш учун чинлик жадвали тузилади ва 1лар саналади тамом}
Quyidagi ikki o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlamasida 0 qiymat qabul qiladi?
_{Бундай мисолларни ечиш учун чинлик жадвали тузилади ва 0 лар сони саналади тамом}


Quyidagi uch o‘zgaruvchili formulalarning qaysi biri keltirilgan formula?

Келтирилган формула булиши учун _{булиши керак инкор амали факат AB.. мулохазаларга тегишли ва крнъюнкция дизъюнкция амалидан бошкаси катнашмаслиги керак.}

<sub>-бу келтирилмаган инкорни каранг кавсдан ташкарида мулохазанинг узида эмас


, - бу келтирилмаган чунки бошка амал хам катнашган этибор беринг</sub>


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


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


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


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