Анықтама. Конъюнктердің дизъюнкциясы дизъюнктивті қалыпты форма (ДҚФ Элементар конъюнкциялардың дизъюнкциясы) деп, ал дизъюнктердің конъюнкциясы конъюнктивті қалыпты форма деп аталады (КҚФ-Элементар дизъюнкциялардың конъюнкциясы).
Мысалы. ДҚФ:  , ,  ,  , yz, 
КҚФ: (xy )(xz)y; – ДҚФ; - КҚФ-те ДҚФ-те бола алады.
1-Теорема. Кез-келген А формуласы үшін оған эквивалентті қалыпты дизъюнктивті формадағы В формуласын (А  В) табуға болады. В А-ның қалыпты дизъюнктивті формуласы деп аталады.Дәлелдеусіз (кез келген формула өзінің ДҚФ,КҚФ эквивалентті ).
Достарыңызбен бөлісу: |
