Қазақстан республикасының білім және ғылым министірлігі

жүктеу 21,8 Mb. бет 51/214 Дата 09.01.2018 өлшемі 21,8 Mb. #7265 түрі Мазмұндама

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

©g.engime.org 2024
әкімшілігінің қараңыз