Кез келген F (х1,х2...хn) формуласын МДҚФ (МКҚФ ) түріне келтіру үшін мына ережені қолдануға болады.
F (х1,х2...хn ) формуласын қандайда бір дизъюнктивті (конъюнктивті) қалыпты формаға түрлендіру.
Егер конъюнктке қандай да бір айнымалы өзінің терістеуімен бірге кірсе оны ДҚФ- тан жою керек. (х 0)
Егер конъюнктке бір литер х бірнеше рет кірсе, олардың біреуін ғана қалдырып калғандарын қысқарту керек. (х х х)
Егер конъюнктердің біріне ( ) y айнымалыc кірмей тұрса, онда бүл конъюнктті оған эквивалентті формуламен алмастырамыз да, дистрибутивті заңды (x (yz)) = xy xz қолданып ДҚФ түріне келтіреміз. Егер толық емес конъюнкт бірнешеу болса олардың әрқайысысы үшін сәйкес формуласын қосамыз.
Достарыңызбен бөлісу: |