
- •Основные понятия алгебры логики
- •Основные понятия алгебры логики
- •Унарные операции
- •Бинарные операции
- •Бинарные операции
- •Бинарные операции
- •Равенства
- •Свойства логических операций
- •Свойства логических операций
- •Свойства логических операций
- •Свойства логических операций
- •Свойства логических операций
- •Свойства логических операций
- •Свойства логических операций
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям
- •Сведение к нескольким операциям

Сведение к нескольким операциям
Логические элементы и логические функции.
Логический элемент - это устройство, реализующее ту или иную логическую функцию.
Логический элемент НЕ обозначается на схемах следующим образом:
Логический элемент ИЛИ обозначается на схемах следующим образом:
Логический элемент И обозначается на схемах следующим образом:
Логический элемент ИЛИ-НЕ (стрелка Пирса) обозначается на схемах следующим образом:
Логический элемент И-НЕ (штрих Шеффера) обозначается на схемах следующим образом:
Логический элемент сложение по модулю 2 ( Исключающее_ИЛИ) обозначается на схемах следующим образом:

Сведение к нескольким операциям
ЗАДАНИЕ. Применяя равносильные преобразования привести булеву функцию к минимальной ДНФ.
РЕШЕНИЕ. Упростим данную формулу, используя известные соотношения
Получаем:
Это - минимальная ДНФ.

Сведение к нескольким операциям
ЗАДАНИЕ. Построить таблицу истинности и определить выполнимость формулы:
РЕШЕНИЕ. Построим таблицу истинности
Формула общезначима, так как истинна при любых значениях P, Q, R.

Сведение к нескольким операциям
Совершенная дизъюнктивная нормальная форма (СДНФ)

Сведение к нескольким операциям
Совершенная дизъюнктивная нормальная форма (СДНФ)