;
Сонымен, (( xy) ( xz)) ;
2-Теорема. Кез келген А формуласы үшін оған эквивалентті және ҚҚФ болатын В формуласын табуға болады АВ (дәлелдейміз) В А- ның ҚҚФ. Кез келген формула өзінің ҚҚФ эквивалентті.
Конюнктивті қалыпты формаға келтірудің алгаритмі алдыңғыға ұқсас, тек 3 пунктың орнына қолданылады.
Достарыңызбен бөлісу: |