АЛГЕБРА ЛОГИЧЕСКИХ ФУНКЦИЙ

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

Двоичное (бинарное) множество , где логический символ 0 означает – «ложь», логический символ 1 означает – «истина».

Логической функцией называется операция типа . – множество всех логических функций от n переменных. – множество всех логических функций.

Утверждение:

.

Единичным набором значений аргументов называется набор, на котором функция равна 1. Множество единичных наборовфункции f называется единичным множеством .

Нулевым набором значений аргументов называется набор, на котором функция равна 0. Множество нулевых наборовфункции f называется нулевым множеством .

 

Таблица логических функций одной переменной

х

 

= 0 – функция-константа 0;

тождество переменной х;

отрицание переменной х;

= 1 – функция-константа 1.

Таблица логических функций двух переменных

x y
x y

 

Функции № 0 и № 15 – функции константы 0 и 1.

Константы принимают одно и то же значение при любых наборах значений аргументов.

Функция № 1 – конъюнкция x и y. Обозначение конъюнкции . Конъюнкция принимает значение 1 только в случае, когда и х и у равны 1.

Функция № 7 – дизъюнкция x и y. Обозначение дизъюнкции . Дизъюнкция принимает значение 1 тогда, когда х или у равны 1 (т.е. хотя бы один аргумент).

Функция № 9 – эквивалентность x и y. Обозначение эквивалентности . Эквивалентность принимает значение 1 только в случае, когда х и у равны.

Функция № 6 – сложение по модулю 2 x и y. Обозначение сложения по модулю 2 . Сложение по модулю 2 принимает значение 1 только в случае, когда сумма х и у нечетна.

Функция № 13 – импликация x и y. Обозначение импликации . Импликация принимает значение 0 только в случае, когда из «истины» следует «ложь».

Функция № 11 – импликация у и х. Обозначение – .

Функция № 14 – штрих Шеффера x и y. Обозначение штриха Шеффера . Штрих Шеффера является отрицанием конъюнкции: .

Функция № 8 – стрелка Пирса x и y. Обозначение стрелки Пирса . Стрелка Пирса является отрицанием дизъюнкции:

Введем обозначения:

; .

 








Дата добавления: 2018-09-24; просмотров: 1134;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.006 сек.