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