 -МДҚФ;
 -МКҚФ
Сонымен МДҚФ, МКҚФ - белгілері.
Дизъюнкцияның (конъюнкцияның ) мүшелері әр түрлі конъюнктердің (дизъюнктердің) мүшелері әр түрлі бір де бірі конъюнкте (дизъюнкте)айнымалының әрі өзі ,әрі оның терістеуі бірге болмайды.
Әрбір конъюнктің (дизъюнктің ) құрамында формулаға енетін барлық айнымалылар болуы керек, яғни х1х2...х3 мұндағы хі не  өзі , не  .
Мысалы,  -өрнегі  формуласының – дизъюнктивті қалыпты формаларының бірі. Бұл МДҚФ-ң алдыңғы үш талабын қанағаттандырады, ал төртіншісін қанағаттандырмайды. Сондықтан оған түрлендірулер жүргіземіз ( көбейтміз).
Достарыңызбен бөлісу: |
