11 класс 11-6 Таблицы истинности.ppt
- Количество слайдов: 12
Презентация 11 -6 Таблицы истинности
Таблицы истинности Решение логических выражений принято оформлять в виде таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных
Таблицы истинности Таблица истинности это таблица, с помощью которой устанавливается истинностное значение сложного высказывания при всех значениях входящих в него простых высказываний.
Правила составления таблицы истинности 1. 2. 3. 4. 5. Количество строк = 2 n+1, где n — количество переменных. Количество столбцов = количество переменных + количество логических операций. Установить последовательность выполнения логических операций. Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных. Заполнить таблицу истинности по столбцам.
Пример 1 Построим таблицу истинности для функции F = (А В) (¬A ¬B) 1. Переменных две (А и В), т. е. N = 2 количество строк: 2 n=22=4. С заголовком: 5 2. Количество столбцов: 2 переменные + 5 операций ( , , ¬, и ¬). Итого 7 3. Порядок операций: 1 5 2 4 F = (А В) (¬A ¬B) 3
Пример 1. Таблица 1 5 2 4 3 F = (А В) (¬A ¬B) (1) (2) A B А В A B (1) (2) 0 0 1 0 1 1 1 1 1 0 0 1 0 1 1 1 0 0 1 1 0
Пример 2 Построим таблицу истинности для функции F = X Y ¬Z 1. Переменных три (X, Y и Z), т. е. n = 3 количество строк: 2 n=23=8. С заголовком: 9 2. Количество столбцов: 3 переменные + 3 операции ( , , ¬). Итого 6 3. Порядок операций: 3 2 1 F = X Y ¬Z
Пример 2. Таблица 3 2 1 F = X Y ¬Z (1) X Y Z Z Y Z X (1) 0 0 1 1 0 1 0 1 0 0 0 1 1 1 1
Задание 1 Заполните пустые ячейки таблицы истинности: a 0 0 0 1 b 0 c 0 1 c a 0 0 1 1 (c a) b 1 1 0
Задание 1. 1 Символом F обозначено одно из указанных ниже логических выражений от двух аргументов: Х, Y. Дан фрагмент таблицы истинности выражения F: Х 1 1 Y 0 1 F 1 0 Какое выражение соответствует F? 1) ( X & Y) 2) X Y 3) (X Y) 4) X & Y
Задание 2 (д/з) Составьте таблицу истинности для следующих логических выражений: F F F = = = X˄Y X (A B)˄(B A) ((X Y)˄(Z X))˄(Z Y) ((A B)→C) (A B)→( C˄ A)
Задание 3 (д/з) Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: Х, Y, Z. Дан фрагмент таблицы истинности выражения F: Х 0 1 1 Y 0 1 0 Z 0 0 0 F 0 1 1 Какое выражение соответствует F? 1) X Y Z 2) X & Y & Z 3) X Y Z 4) X & Y & Z
11 класс 11-6 Таблицы истинности.ppt