Тема урока : ТАБЛИЦЫ ИСТИННОСТИ
На этом уроке нам необходимо решить следующую задачу : 1.Таблица истинности сложного логического выражения. Как правильно составить и использовать ?
ТАБЛИЦЫ ИСТИННОСТИ Решение логических выражений принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных.
ДЛЯ СОСТАВЛЕНИЯ ТАБЛИЦЫ НЕОБХОДИМО : 1. Выяснить количество строк в таблице ( вычисляется как 2 в степени n, где n – количество переменных ). 2. Выяснить количество столбцов = количество переменных + количество логических операций. 3. Установить последовательность выполнения логических операций. 4. Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных. 5. Заполнить таблицу истинности по столбцам.
Пример 1 Построим таблицу истинности для выражения F = (A v B) & (¬A v ¬B) 1. Количество строк = 2² + 1( заголовки столбцов ) = 5 2. Количество столбцов = 2 + 5(v, &, ¬, v, ¬) = 7 3. Расставим порядок выполнения операций : (A v B) & (¬A v ¬B) 4. Построим таблицу : АВ A v BA v B¬A¬B¬A v ¬B(A v B) & (¬A v ¬B)
Пример 2 Построим таблицу истинности для логического выражения X v Y & ¬Z 1. Количество строк = 2³ + 1 = 9 2. Количество столбцов = 3 логические переменные + 3 логические операции = 6 3. Укажем порядок действий : X v Y & ¬Z 4. Нарисуем и заполним таблицу : XYZ¬ZY & ¬ZX v Y & ¬Z
Домашнее задание Составьте таблицы истинности для следующих логических выражений : 1) F = (X & ¬Y) v Z 2) F = X & Y v X 3) ¬((X v Y) & (Z v X)) & (Z v Y)