
1.2.1 Основные положения алгебры логики
Различные логические переменные могут быть связаны функциональными зависимостями. Функциональные зависимости между логическими переменными могут быть описаны логическими формулами или таблицами истинности.
В общем виде логическая формула функции двух переменных записывается в виде: y=f(X1, X2), где X1, X2 — входные переменные.
В таблице истинности отображаются все возможные сочетания (комбинации) входных переменных и соответствующие им значения функции y, получающиеся в результате выполнения какой-либо логической операции. При одной переменной полный набор состоит из четырёх функций, которые приведены в таблице 2.
Таблица 2 – Полный набор функций одной переменной
| X | Y1 | Y2 | Y3 | Y4 |
|---|---|---|---|---|
| 0 | 1 | 0 | 1 | 0 |