Рубрика
Математика
Основы алгебры логики
Полином Жегалкина. Теорема о представлении в виде полинома Жегалкина
Полином Жегалкина позволяет представлять функции без использования операции отрицания, что делает его удобным инструментом в задачах математической логики и…
Основы алгебры логики
СКНФ. Теорема о представлении в виде СКНФ. Построение СКНФ по таблице
СКНФ представляет функцию как конъюнкцию элементарных дизъюнкций, соответствующих наборам переменных, на которых функция принимает значение 0. Построение СКНФ…
Основы алгебры логики
СДНФ. Теорема о представлении в виде СДНФ. Построение СДНФ по таблице
СДНФ представляет функцию как дизъюнкцию элементарных конъюнкций, соответствующих наборам переменных, на которых функция принимает значение 1. Построение СДНФ…
Основы алгебры логики
Упрощение логических функций с помощью таблицы истинности
Таблица истинности позволяет полностью описать поведение логической функции для всех возможных наборов входных переменных. На основе таблицы можно выделить…
Основы алгебры логики
Формулы. Равенство функций и эквивалентность формул. Основные эквивалентности
Равенство функций означает, что они задают одно и то же отображение множества входов на множество выходов. Эквивалентность формул позволяет заменять одну…
Основы алгебры логики
Функции 2-значной логики. Лемма о числе функций. Элементарные функции 1-ой и 2-х переменных
Лемма о числе функций утверждает, что для n переменных существует 2^[2^n] различных функций. Элементарные функции составляют базис для представления любых…
Основы алгебры логики
Нормальные формы
Нормальные формы позволяют унифицировать представление логических выражений, что упрощает их анализ и реализацию. ДНФ представляет выражение как дизъюнкцию…
Основы алгебры логики
Решение задач с помощью алгебры высказываний
Алгебра высказываний позволяет сводить сложные логические задачи к формальным выражениям, которые можно анализировать и упрощать. Это используется для проверки…
Основы алгебры логики
Булевы функции от n переменных
Булева функция от n переменных принимает значения «истина» или «ложь» в зависимости от значений входных переменных. Она используется для описания логических…