Рубрика
Основы алгебры логики
Основы алгебры логики
Полином Жегалкина. Пример.
Для функции трёх переменных [x, y, z] с заданными значениями строится полином вида: P[x, y, z] = a0 ⊕ a1·x ⊕ a2·y ⊕ a3·z ⊕ a4·x·y ⊕ a5·x·z ⊕ a6·y·z ⊕ a7·x·y·z,…
Основы алгебры логики
Полином Жегалкина. Теорема о представлении в виде полинома Жегалкина
Полином Жегалкина позволяет представлять функции без использования операции отрицания, что делает его удобным инструментом в задачах математической логики и…
Основы алгебры логики
СКНФ. Теорема о представлении в виде СКНФ. Построение СКНФ по таблице
СКНФ представляет функцию как конъюнкцию элементарных дизъюнкций, соответствующих наборам переменных, на которых функция принимает значение 0. Построение СКНФ…
Основы алгебры логики
СДНФ. Теорема о представлении в виде СДНФ. Построение СДНФ по таблице
СДНФ представляет функцию как дизъюнкцию элементарных конъюнкций, соответствующих наборам переменных, на которых функция принимает значение 1. Построение СДНФ…
Основы алгебры логики
Упрощение логических функций с помощью таблицы истинности
Таблица истинности позволяет полностью описать поведение логической функции для всех возможных наборов входных переменных. На основе таблицы можно выделить…
Основы алгебры логики
Формулы. Равенство функций и эквивалентность формул. Основные эквивалентности
Равенство функций означает, что они задают одно и то же отображение множества входов на множество выходов. Эквивалентность формул позволяет заменять одну…
Основы алгебры логики
Функции 2-значной логики. Лемма о числе функций. Элементарные функции 1-ой и 2-х переменных
Лемма о числе функций утверждает, что для n переменных существует 2^[2^n] различных функций. Элементарные функции составляют базис для представления любых…
Основы алгебры логики
Нормальные формы
Нормальные формы позволяют унифицировать представление логических выражений, что упрощает их анализ и реализацию. ДНФ представляет выражение как дизъюнкцию…
Основы алгебры логики
Решение задач с помощью алгебры высказываний
Алгебра высказываний позволяет сводить сложные логические задачи к формальным выражениям, которые можно анализировать и упрощать. Это используется для проверки…