1§. Мулоҳазалар алгебраси

2-таъриф: ўзгарувчиларнинг ҳар бири 0 ёки 1 қийматларни қабул қилганларида



формулага элементар конъюнкция дейилади.


3-таъриф: ўзгарувчиларнинг ҳар бири 0 ва 1 қийматларни қабул қилганларида

формулага элементар дизъюнкция дейилади.
6-таъриф: Элементар дизъюнкцияларнинг ҳар қандай конъюнкциясидан ташкил топган формула конъюнктив нормал форма (КНФ) ёки коньюктив нормал формадаги формула дейилади.

Мукаммал дизъюнктив ва мукаммал конъюнктив нормал формалар.

7-таъриф: Ҳар бир пропозиционал ўзгарувчининг ё ўзи, ё инкори бир мартадан ортиқ қатнашмаган элементар конъюнкция тўғри элементар конъюнкция дейилади.


Мисоллар: Таърифга кўра формулалар тўғри элементар конъюнкциялардир. формулалар эса, элементар конъюнкциялар бўлгани ҳолда, тўғри элементар конъюнкциялар эмас, чунки элементар конъюнкцияда A ўзгарувчи ўзининг инкори билан, BBCDD формулада эса B, D пропозиционал ўзгарувчилар икки мартадан қатнашмоқда.


8-таъриф: Ҳар бир пропозиционал ўзгарувчининг ё ўзи ё инкори бир мартадан ортиқ қатнашмаган элементар дизъюнкция тўғри элементар дизъюнкция дейилади.
9-таъриф: пропозиционал ўзгарувчилардан ташкил топган тўғри элементар конъюнкцияда, ҳар бир ўзгарувчи роса бир марта қатнашган бўлса, бу тўғри элементар конъюнкция, пропозиционал ўзгарувчиларга нисбатан тўлиқ элементар конъюнкция дейилади.
10-таъриф: пропозиционал ўзгарувчиларда ташкил топган тўғри элементар дизъюнкцияда, ҳар бир ўзгарувчи роса бир марта қатнашган бўлса, бу тўғри элементар дизъюнкция пропозиционал ўзгарувчиларга нисбатан тўлиқ элементар дизъюнкция дейилади.