Булевы переменные и функции Булевыми переменными называются переменные, принимающие значение 0 или 1. Булевы (или логические) функции оперируют с булевыми. - презентация

1 Булевы переменные и функции Булевыми переменными называются переменные, принимающие значение 0 или 1. Булевы (или логические) функции оперируют с булевыми переменными, их результат – 0 или 1.

2 Задание булевых функций Функции в булевой алгебре принято определять двумя способами. Первый - с помощью таблицы истинности. В такой таблице перечислены все возможные комбинации параметров и результат функции для каждой из комбинаций. В каждой строке слева перечисляются параметры, а в крайнем правом столбце - результат. В верхней строке - обозначения параметров и обозначение функции. Второй способ задания логической функции - в виде формул, в которых применяются знаки унарных и бинарных операций. Знак унарной операции обозначает функцию от одного аргумента. Знак бинарной операции обозначает функцию от двух аргументов.

3 Основные функции Конъюнкция Логическое «И» Обозначение: &, ·, xyf (x, y)

4 Основные функции Дизъюнкция Логическое «ИЛИ» Обозначение: +, xyf (x, y) f (x, y)=(0111)

5 Основные функции Инверсия Логическое «НЕТ», «НЕ» xf (x) f (x)=

6 Построить таблицы истинности

7 Свойства функций Свойство идемпотентности Свойство коммутативности Свойство ассоциативности Операции с 0 Операции с 1

8 Свойства функций Закон двойного отрицания Свойство дистрибутивности Законы де Моргана Закон поглощения Операции с «НЕ»

9 Нахождение формулы по таблице истинности f (x, y) yx

10 Нахождение формулы по таблице истинности f (x, y) yx

11 Найдите функции xyf (x, y) xy

12 Найдите функции xyf (x, y) xy

13 Основные теоремы

14 Правильные элементарные конъюнкции

15 Преобразовать до ДНФ

16 Задания Докажите тождество Преобразовать

17 Найти СКНФ

18 Найти СДНФ