ÅαѺѡΓᵿ∩ 2 - ÅßΓαÑ¡¿Ñ Γáí½¿µ ¿ßΓ¿¡¡ßΓ¿ ºá¬¡á¼ á½úÑíαδ ½ú¿¬¿

ТАБЛИЦА ИСТИННОСТИ
Повторим понятие таблицы истинности:
Таблица истинности - это значения логической функции для разных сочетаний значений входных переменных, обычно задаваемых таблицей.
Опираясь на данные таблицы истинности основных логических операций можно составлять таблицы истинности для более сложных формул.

Алгоритм построения таблиц истинности для сложных выражений:
1. Определить количество строк:
- количество строк = 2n + строка для заголовка,
- n - количество простых высказываний.
2. Определить количество столбцов:
- количество столбцов = количество переменных + количество логических операций;
- определить количество переменных (простых выражений);
- определить количество логических операций и последовательность их выполнения.

Таблицы истинности для основных двоичных логических функций
Конъюнкция (логическое умножение) – сложное логическое выражение, которое является истинным только в том случае, когда истинны оба входящих в него простых выражения.

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

Пример составления таблицы

Пример составления таблицы

Пример составления таблицы