Презентация на тему: Таблицы истинности

Тема урока: ТАБЛИЦЫ ИСТИННОСТИ

На этом уроке нам необходимо решить следующую задачу: Таблица истинности сложного логического выражения. Как правильно составить и использовать?

ТАБЛИЦЫ ИСТИННОСТИ Решение логических выражений принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных.

ДЛЯ СОСТАВЛЕНИЯ ТАБЛИЦЫ НЕОБХОДИМО: Выяснить количество строк в таблице (вычисляется как 2 в степени n, где n – количество переменных).Выяснить количество столбцов = количество переменных + количество логических операций.Установить последовательность выполнения логических операций.Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных.Заполнить таблицу истинности по столбцам.

Пример 1 Построим таблицу истинности для выражения F = (A v B) & (¬A v ¬B)1. Количество строк = 2² + 1(заголовки столбцов) = 52. Количество столбцов = 2 + 5(v, &, ¬, v, ¬) = 73. Расставим порядок выполнения операций: 1 5 2 4 3(A v B) & (¬A v ¬B)4. Построим таблицу:

Пример 2 Построим таблицу истинности для логического выражения X v Y & ¬ZКоличество строк = 2³ + 1 = 9Количество столбцов = 3 логические переменные + 3 логические операции = 6Укажем порядок действий: 3 2 1X v Y & ¬Z4. Нарисуем и заполним таблицу:

Домашнее задание Составьте таблицы истинности для следующих логических выражений:F = (X & ¬Y) v ZF = X & Y v X¬((X v Y) & (Z v X)) & (Z v Y)