Презентация на тему Таблицы истинности логических функций

операции, в котором присутствуют все возможные сочетания значений входных переменных, и

получаемые при этом значения выходных переменных (результатов логической операции).

∨ Y) ∨ Z ≡ X ∨ (Y ∨

Z);
X ∨ 0 ≡ X,
где 0 – тождественно ложное высказывание;
X ∨ X ≡ 1;
X ∨ 1 ≡ 1,
где 1 – тождественно истинное высказывание;
X ∨ X ≡ X

≡ Y & X;
(X & Y) & Z ≡

X & (Y & Z);
X & X ≡ 0;
X & 0 ≡ 0;
где 0 – тождественно ложное высказывание
X & 1 ≡ X,
где 1 – тождественно истинное высказывание

Для любой логической функции можно построить таблицу истинности, которая определяет ее

истинность или ложность при всех возможных комбинациях значений аргументов (логических переменных).

действий:
Сначала определяют количество строк в таблице истинности. Количество строк

будет равно 2n, (где n – количество логических переменных) плюс строка заголовка.
Далее определяют количество столбцов в таблице истинности, оно равно количеству логических переменных плюс количество логических операций.

и столбцов, столбцы подписываются, в таблицу вносятся всевозможные наборы

значений исходных логических переменных.
И, наконец, выполняются необходимые логические операции, таблица истинности заполняется по столбцам.

(A ∨ E) & (Ā ∨ Ē)
Определим количество строк

в нашей таблице истинности.
Мы имеем две логические переменные А и Е, следовательно, количество строк будет равно 22 + 1 = 5.
Выясним, какое количество столбцов необходимо.
У нас – две логические переменные, над которыми будет выполнено 5 логических операций ‑ это A ∨ E, Ā, Ē, Ā ∨ Ē и, наконец (A ∨ E) & (Ā ∨ Ē). Значит, нам понадобится 7 столбцов.

значениями логических переменных. В результате должна получиться следующая таблица:
Z =

(A ∨ E) & (Ā ∨ Ē)