Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Bilety_EVM.doc
Скачиваний:
21
Добавлен:
21.09.2019
Размер:
1.68 Mб
Скачать

10. Логические функции. Основные понятия.

Логическая функция может быть задана словесно, аналитически или с помощью таблицы.

Основными операциями булевой алгебры являются: отрицание, логическое сложение и логическое умножение. В булевой алгебре возведение в степень и извлечение корня являются вырожденными логическими операциями, поскольку значения, принимаемые аргументами при возведении в степень и извлечении корня, остаются неизменными, если принять справедливость равенств 1·1= 1 и 0·0= 0. Операции вычитания и деления не рассматриваются и не допускаются

Дизъюнкция и конъюнкция могут осуществляться со многими переменными. Совокупность различных значений переменных называют набором. Булева функция n аргументов может иметь N=2n наборов. Поскольку функция принимает два значения, общее количество булевых функций n аргументов равно 2N=22n. Таким образом, функция одного аргумента имеет 4 значения, а два аргумента дают 16 значений

..Отметим наиболее часто используемые функции из числа приведенных в таблице:

f0 (x1, x2) = 0 - тождественный ноль (константа 0);

f1 (x1, x2) = x1 ∙ x2 – конъюнкция (логическое произведение, И). Иногда употребляется знак & или /\:

f3 (x1, х2) = x1 - повторение x1;

f5 (x1, x2) = x2- повторение x2;

f6 (x1, x2) = x1 x2 - сложение по модулю 2 или сумма mod 2;

f7 (х1, х2) = x1 + x2 - дизъюнкция (логическое сложение, ИЛИ) или знак V;

f8 (x1, x2) = x1 x2 - (стрелка Пирса, ИЛИ-НЕ);

f9 (х1, х2) = x1 ~ x2 - эквивалентность;

f13(x1, x2) = x1 → x2 - импликация;

f14(x1, x2) = x1 \ x2 - штрих Шеффера (И-НЕ);

f15(x1, x2) = 1-тождественная единица (константа 1).

х1х2

f0

f1

f2

f3

f4

f5

f6

f7

f8

f9

f10

f11

f12

f13

f14

f15

00 01 10 11

0 0 0 0

0 0 0 1

0 0 1 0

0 0 1 1

0 1 0 0

0 1 0 1

0 1 1 0

0 1 1 1

1 0 0 0

1 0 0 1

1 0 1 0

1 0 1 1

1 1 0 0

1 1 0 1

1 1 1 0

1 1 1 1

11. Булевы функции одной переменной.

Для функций одной переменной может существовать всего четыре различные булевы функции g1, g2, g3 и g4, представленные в следующей таблице:

x

g1

g2

g3

g4

0

0

0

1

1

1

0

1

0

1

Из таблицы следует, что функции g1 и g4 не зависят от аргумента и являются соответственно константами 0 и 1, а функция g2 повторяет значение аргумента, т.е. g2=x. Функция g3 называется отрицанием или инверсией переменной x и обозначается как not(x).

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]