Построение таблиц истинности

Цели:
10.2.2.2 строить таблицы истинности для заданного логического выражения


Задачи:
выработать умение применять последовательность действий построения таблиц истинности;
научить находить значение логических выражений посредством построения таблиц истинности

При построении таблиц истинности есть определенная последовательность действий.

Определить количество строк в таблице
Определить количество столбцов в таблице

Построить таблицу истинности в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов Заполнить столбцы входных переменных наборами значений

Определите истинность  логического выражения 
F(А, В) = (А\/ В)/\(¬А\/¬В) 

Вывод: логическое выражение принимает значение истина при наборах F(0,1)=1 и F(1,0)=1.

Работа у доски

Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z.
Дан фрагмент таблицы истинности выражения F:

Какое выражение соответствует F?
 1) ¬X/\¬Y/\Z                     
2) ¬X\/¬Y\/Z                 
3) X\/Y\/¬Z             
4) X\/Y\/Z

правильный ответ - ?

Постройте таблицу истинности для логического выражения

Групповая работа

Составьте логическое выражение и постройте таблицу истинности по следующим логическим схемам 

A

B

C

Постройте таблицу истинности для следующего логического выражения:

Парная работа

Постройте таблицу истинности для следующего логического выражения:

Парная работа

Постройте таблицу истинности для следующего логического выражения:

Парная работа

Карточки

Индивидуальная работа

1. Постройте таблицу истинности для следующего логического выражения

2. Установить, равносильны ли два высказывания

3. Упростить логические выражения