Таблицы истинности

по вариантам: HYPERLINK "Проверочная20работа. doc" варианты заданий
Составить таблицы истинности для:
конъюнкции;
дизъюнкции;
инверсии;
импликации;
эквиваленции.
Найти значения логических выражений.
III. Изложение нового материала
Решение логических выражений принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных.
Таблицу, показывающую, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний, называют таблицей истинности составного высказывания.
Алгоритм построения таблицы истинности:
1) подсчитать количество переменных n в логическом выражении;
2) определить число строк (m) в таблице, которое равно m 2n 1 (строка для заголовка);
3) подсчитать количество логических операций в логическом выражении и определить количество столбцов в таблице, которое равно количеству переменных плюс количество операций;
4) ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов.
Логические операции имеют следующий приоритет: (повторить вместе с учащимися)
1. Действия в скобках
2. Инверсия
3. Конъюнкция
4. Дизъюнкция
5. Импликация
6. Эквиваленция
5) заполнить столбцы входных переменных наборами значений;
6) провести заполнение таблицы истинности по столбцам, выполняя логические операции.
Наборы входных переменных, во избежание ошибок, рекомендуют перечислять следующим образом:
а) определить количество наборов входных переменных;
б) разделить колонку значений первой переменной пополам и запол