Функции алгебры логики двух аргументов

И.Д. Долгий

СИНТЕЗ И АНАЛИЗ

ДИСКРЕТНЫХ УСТРОЙСТВ

Ростов-на-Дону

Функции алгебры логики

Основные понятия и определения

В алгебре логики принято сложные высказывания отождествлять с функциями алгебры логики, а простые высказывания с аргументами этих функций. Все высказывания как сложные так и простые могут быть истинными или ложными. Истинные высказывания в числовом выражении равны единице, а ложные нулю.

Таким образом, функцией алгебры логики является такая функция, которая как и ее аргументы, может принимать только два значения 0 или 1.

Все функции алгебры логики определяются на наборах аргументов, число которых равно 2n, где n – количество аргументов от которых зависит функция алгебры логики. Под набором аргументов понимается комбинация различных значений аргументов. Если n=1, то количество наборов N будет равно N=21=2, т.е. один набор 1 а второй 0. Если n=2, то N=22=4. Наборы аргументов будут следующие: 00, 01, 10, 11.

На каждом из наборов аргументов функция алгебры логики может принимать значение 0 или 1. Отсюда получается зависимость количества функций М от числа наборов аргументов N

Функции алгебры логики двух аргументов - student2.ru или (от числа аргументов) Функции алгебры логики двух аргументов - student2.ru .

Таким образом, количество функций одного аргумента будет равно Функции алгебры логики двух аргументов - student2.ru , количество функций двух аргументов Функции алгебры логики двух аргументов - student2.ru и т.д.

В настоящее время хорошо изучены и широко используются в теории дискретных устройств только функции одного и двух аргументов.

Функции алгебры логики (ФАЛ) одного

Аргумента

Известно, что количество ФАЛ одного аргумента равно четырем. Эти функции представляются следующей таблицей 1.1.

Таблица 1.1.

Нумерация ФАЛ Наборы аргумента х Обозначение ФАЛ Название ФАЛ
f0 Константа 0
f1 x Аргумент х
f2 Функции алгебры логики двух аргументов - student2.ru Отрицание аргумента х
f3 Константа 1

Из таблицы 1.1. следует, что две функции алгебры логики не зависят от значения аргумента. Функция константа 0 всегда равна 0, а функция константа 1 всегда равна единице при любом значении аргумента х. Функция аргумент х повторяет значение аргумента, функция отрицание аргумента принимает значение противоположное аргументу, т.е. Функции алгебры логики двух аргументов - student2.ru (читается «не икс»).

Все функции алгебры логики могут быть представлены таблицами истинности. Таблица истинности включает в себя все наборы аргументов от которых она зависит и значение функции на каждом наборе. Представим функции одного аргумента таблицами истинности.

Таблица 1.2.

Константа 0

Наборы аргумента Функции алгебры логики двух аргументов - student2.ru

Таблица 1.4.

Отрицание аргумента

Наборы аргумента Функции алгебры логики двух аргументов - student2.ru

Таблица 1.3.

Аргумент х

Наборы аргумента Функции алгебры логики двух аргументов - student2.ru

Таблица 1.5.

Константа 1

Наборы аргумента Функции алгебры логики двух аргументов - student2.ru

Функции алгебры логики двух аргументов

Количество функций двух аргументов равно Функции алгебры логики двух аргументов - student2.ru эти функции представлены в следующей таблице.

Таблица 1.6.

Функции двух аргументов

Аргументы Наборы аргументов Аналитическая запись функции Название функции Представление ФАЛ двух аргументов в СДНФ
х1 х2 0 0 1 1 0 1 0 1
f0 0 0 0 0 Константа нуля
f1 0 0 0 1 Функции алгебры логики двух аргументов - student2.ru Конъюнкция (логическое произведение) Функции алгебры логики двух аргументов - student2.ru
f2 0 0 1 0 Функции алгебры логики двух аргументов - student2.ru Отрицание импликации от х1 к х2 Функции алгебры логики двух аргументов - student2.ru
f3 0 0 1 1 Функции алгебры логики двух аргументов - student2.ru Повторение аргумента х1 Функции алгебры логики двух аргументов - student2.ru
f4 0 1 0 0 Функции алгебры логики двух аргументов - student2.ru Отрицание импликации от х2 к х1 Функции алгебры логики двух аргументов - student2.ru
f5 0 1 0 1 Функции алгебры логики двух аргументов - student2.ru Повторение аргумента Функции алгебры логики двух аргументов - student2.ru
f6 0 1 1 0 Функции алгебры логики двух аргументов - student2.ru Неравнозначность Функции алгебры логики двух аргументов - student2.ru
f7 0 1 1 1 Функции алгебры логики двух аргументов - student2.ru Дизъюнкция Функции алгебры логики двух аргументов - student2.ru
f8 1 0 0 0 Функции алгебры логики двух аргументов - student2.ru Отрицание дизъюнкции Функции алгебры логики двух аргументов - student2.ru
f9 1 0 0 1 Функции алгебры логики двух аргументов - student2.ru ~ Функции алгебры логики двух аргументов - student2.ru Равнозначность Функции алгебры логики двух аргументов - student2.ru
f10 1 0 1 0 Функции алгебры логики двух аргументов - student2.ru Отрицание аргумента х2 Функции алгебры логики двух аргументов - student2.ru
f11 1 0 1 1 Функции алгебры логики двух аргументов - student2.ru Импликация от х2 к х1 Функции алгебры логики двух аргументов - student2.ru
f12 1 1 0 0 Функции алгебры логики двух аргументов - student2.ru Отрицание аргумента х1 Функции алгебры логики двух аргументов - student2.ru
f13 1 1 0 1 Функции алгебры логики двух аргументов - student2.ru Импликация от х1 к х2 Функции алгебры логики двух аргументов - student2.ru

f14 1 1 1 0 Функции алгебры логики двух аргументов - student2.ru Отрицание конъюнкции Функции алгебры логики двух аргументов - student2.ru
f15 1 1 1 1 Константа единицы

Из 16-ти функций двух аргументов необходимо глубоко разобраться и усвоить те функции, на базе которых построены и широко используются логические элементы «И», «ИЛИ», «НЕ», «И-НЕ», «ИЛИ-НЕ».

Логический элемент «И» представляет собой техническую реализацию функции алгебры логики двух аргументов, которая называется конъюнкцией или логическим произведением двух аргументов. Таблица истинности данной функции имеет вид

Таблица 1.7.

ФАЛ конъюнкция

Функции алгебры логики двух аргументов - student2.ru Функции алгебры логики двух аргументов - student2.ru
0 0
0 1
1 0
1 1

Из таблицы 1.7. следует, что конъюнкция равна единице только в том случае, если оба аргумента х1 и х2, которые перемножаются, равны единице. Если хотя бы один аргумент равен 0, то логическое произведение будет равно 0. Функцию конъюнкция сокращенно называют функцией «И», потому, что и аргумент х1 и аргумент х2 должны быть равны единице, чтобы функция была равна единице. В алгебре логики используются следующие знаки умножения: «×», «Ù», «&».

Логический элемент «ИЛИ» построен на основе функции алгебры логики, которая является дизъюнкцией, т.е. логическим сложением аргументов. Значение данной функции представлено в таблице истинности (табл. 1.8.).

Таблица 1.8.

ФАЛ дизъюнкция

Функции алгебры логики двух аргументов - student2.ru Функции алгебры логики двух аргументов - student2.ru
0 0
0 1
1 0
1 1

Из таблицы 1.8. следует, что ФАЛ дизъюнкция равна единице тогда, когда равен единице или аргумент х1, или аргумент х2, или оба аргумента равны единице. Поэтому данную функцию сокращенно называют ФАЛ «ИЛИ».

ФАЛ отрицание конъюнкции («И-НЕ») определяется таблицей истинности (табл. 1.9.).

Таблица 1.9.

ФАЛ «И-НЕ»

Функции алгебры логики двух аргументов - student2.ru Функции алгебры логики двух аргументов - student2.ru
0 0
0 1
1 0
1 1

ФАЛ отрицание дизъюнкции («ИЛИ-НЕ») определяется таблицей истинности (табл. 1.10.).

Таблица 1.10.

ФАЛ «ИЛИ-НЕ»

Функции алгебры логики двух аргументов - student2.ru Функции алгебры логики двух аргументов - student2.ru
0 0
0 1
1 0
1 1

Из таблиц 1.9. и 1.10. видно, что функции «И-НЕ» и «ИЛИ-НЕ» принимают значения соответственно противоположные функциям «И» (табл. 1.7.) и «ИЛИ» (табл. 1.8.).

Логические элементы, которые широко используются в электрических схемах автоматики и телемеханики технически реализуют следующие функции алгебры логики:

- ФАЛ одного аргумента отрицание аргумента («НЕ»),

- ФАЛ двух аргументов «И», «ИЛИ», «И-НЕ», «ИЛИ-НЕ» графическое изображение этих логических элементов показано на рис. 1.1.

Функции алгебры логики двух аргументов - student2.ru

Рис. 1.1. Логические элементы

Контрольные вопросы

1. Дать определение функции алгебры логики.

2. Что представляет собой таблица истинности функции алгебры логики?

3. Какие существуют ФАЛ, зависящие только от одного аргумента?

4. На основе каких ФАЛ одного и двух аргументов построены логические элементы и их графическое изображение?

5. Что представляет собой набор аргументов?

6. Представить таблицы истинности следующих ФАЛ:

- Конъюнкции,

- Дизъюнкции,

- Отрицание конъюнкции,

- Отрицание дизъюнкции.

7. Составить таблицы истинности следующих функций алгебры логики:

Функции алгебры логики двух аргументов - student2.ru

Функции алгебры логики двух аргументов - student2.ru

Функции алгебры логики двух аргументов - student2.ru ~ Функции алгебры логики двух аргументов - student2.ru

Функции алгебры логики двух аргументов - student2.ru ~ Функции алгебры логики двух аргументов - student2.ru

Наши рекомендации