Таблицы истинности.
Решение логических задач принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных. Для составления таблицы истинности необходимо: 1. Выяснить количество строк в таблице (вычисляется как 2 n, где n – количество переменных); 2. Выяснить количество столбцов = количеством переменных + количество логических операций; 3. Установить последовательность выполнения логических операций; 4. Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных; 5. Заполнить таблицу истинности по столбцам.
Пример 1. Построим таблицу истинности для выражения 1. Количество строк = 2 2 (переменных)+1(заголовки столбцов)=5; 2. Количество столбцов = 2 логические переменные + количество логических операций 5=7 3. Установить последовательность выполнения логических операций; 4. Построим и заполним таблицу.
Задания: Построить таблицы истинности для логических выражений: