Булевы переменные и функции Булевыми переменными называются переменные, принимающие значение 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 Свойства функций Свойство идемпотентности Свойство коммутативности Свойство ассоциативности Операции с 0 Операции с 1

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

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

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

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

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

12 Формы функций Дизъюнктивная нормальная форма (ДНФ) нормальная форма, в которой булева формула имеет вид дизъюнкции нескольких конъюнкций. Конъюнктивная нормальная форма (КНФ) нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов. Элементарная конъюнкция - конъюнкция любого числа переменных, взятых по одному разу с отрицанием или без.

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

14 Карты Карно Найти сокращенную ДНФ для функций f(x 1,x 2,x 3,x 4 )=( ) f(x 1,x 2,x 3,x 4 )=( ) f(x 1,x 2,x 3,x 4 )=( )

15 Карты Карно Минимизировать функцию

16 Метод неопределенных коэффициентов Минимизировать функции

17 Метод неопределенных коэффициентов Минимизировать функцию x1x1 x2x2 x3x3 Y(x 1,x 2,x 3 )x1x1 x2x2 x3x

18 Метод неопределенных коэффициентов Минимизировать функции f(x 1,x 2,x 3 )=( ) f(x 1,x 2,x 3 )=( ) f(x 1,x 2,x 3 )=( )

19 Метод неопределенных коэффициентов Минимизировать функции

20 Метод неопределенных коэффициентов Минимизировать функцию x1x1 x2x2 x3x3 Y(x 1,x 2,x 3 )x1x1 x2x2 x3x

21 Метод неопределенных коэффициентов Минимизировать функции f(x 1,x 2,x 3 )=( ) f(x 1,x 2,x 3 )=( ) f(x 1,x 2,x 3 )=( )

22 Метод Квайна – Мак-Класки Минимизировать функцию

23 Метод Квайна – Мак-Класки Минимизировать функцию