Формы логических функций

Различают несколько способов задания функций алгебры логики, основными из которых являются:

1. Табличный способ, который предусматривает задание функции алгебры логики таблицей истинности. Наборы, на которых значение функции равно 1 называют рабочими, а на которых функция принимает нулевое значение – запрещенными.

2. Аналитический способ задания предполагает запись функции в виде формализованного выражения, составленного с использованием математического аппарата. Пример:

3. Цифровой способ задания реализует записи функций в виде совокупности рабочих, запрещенных и условных наборов аргументов. Пример:

4. Таблично-графический или координатный способ предусматривает задание функции алгебры логики в виде координатных карт состояний, называемых картами Карно. При наличии n переменных карты Карно состоят из полей и представляют собой прямоугольные таблицы.

5. Графический способ задания предусматривает изображение функции в виде n-мерной геометрической фигуры, вершинам которой соответствуют наборы значений аргументов данной функции.