Логика алгебрасының функциялары

Бұл айнымалылардың маңызы өте зор. Мысалы, функция көп айнымалы болса, кейбір айнымалыларын (жалған айнымалыларды) алып тастауға болады. Ол бізге барлық параметрлер бойынша үнемдеуге мүмкіндік береді. Сондықтан осы үнемдеуді жүзеге асыратын программдық пакет құру актуалды мәселе. Бұл жұмыста қойылған мақсат бойынша бірінші теориялық, одан кейін программалық жүзеге асыру жүргізілді.

Кіріспе..................................................................................3
Логика алгебрасының функциялары 5
Формулалардың эквиваленттігі. Қосалқылык принципі...............................................................................5
Буль функцияларын айнымалыларға жіктеу. Кемел дизъюнктивті нормаль қалып 6
Толықтық және тұйықтық..................................................7
Жегалкин теоремасы.............................................................................8
Маңызды жабық сыныптар. Толықтық туралы теорема.................................................................................9
Пост нәтижелері.........................................................................10
Буль функцияларының жалған және елеулі айнымалылары..................................................................10
Буль функцияларының жалған және елеулі
айнымалыларын программада жүзеге асыру.................14
Қорытынды........................................................................19
Қолданылған әдебиеттер тізімі..........................................20