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

1.

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

2.

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

3.

Работа у доски
Определите истинность логического выражения
F(А, В) = (А\/ В)/\(¬А\/¬В)
А
В
А\/ В
¬А
¬В
¬А\/¬В
F
0
0
0
1
1
1
0
0
1
1
1
0
1
1
1
0
1
0
1
1
1
1
1
1
0
0
0
0
Вывод: логическое выражение принимает значение истина при наборах F(0,1)=1 и F(1,0)=1.

4.

Символом F обозначено одно из указанных ниже логических
выражений от трех аргументов: X, Y, Z.
Дан фрагмент таблицы истинности выражения F:
Какое выражение соответствует F?
X Y Z F
1) ¬X/\¬Y/\Z
0 0 0 1
правильный ответ - ?
2) ¬X\/¬Y\/Z
0 0 1 0
3) X\/Y\/¬Z
0 1 0 1
4) X\/Y\/Z
X
Y
Z
F
¬X
¬Y ¬Z
¬X/\¬Y/\Z
¬X\/¬Y\/Z
X\/Y\/¬Z
X\/Y\/Z
0
0
0
1
1
1
1
0
1
1
0
0
0
1
0
1
1
0
1
1
0
1
0
1
0
1
1
0
1
0
1
1
1

5.

Групповая работа
Постройте таблицу истинности для логического
выражения
F(A,B)= (A&B)&(AvB)

6.

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

7.

Нарисовать в тетради используя вентили и заполнить таблицу
истинности
А
0
0
0
0
1
1
1
1
В
0
0
1
1
0
0
1
1
С
0
1
0
1
0
1
0
1
A^B ¬A
1
1
1
1
1
1
1
1
1
0
1
0
0
0
0
0
A ۷C
1
1
1
1
0
1
0
1
F
1
1
1
1
1
1
0
1
https://logic.ly/demo/
A
B
C

8.

9.

10.

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

11.

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

12.

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

13.

Индивидуальная работа
Карточки
Задания
1. Постройте таблицу истинности для следующего логического выражения
2. Установить, равносильны ли два высказывания
3. Упростить логические выражения

14.

15.

Скачано с www.znanio.ru