Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ДИСКРЕТКА.doc
Скачиваний:
11
Добавлен:
01.08.2019
Размер:
938.5 Кб
Скачать

Нульарные функции

При n = 0 количество булевых функций сводится к двум 220 = 21 = 2, первая из них тождественно равна 0, а вторая 1. Их называют булевыми константами — тождественный нуль и тождественная единица.

Унарные функции

При n = 1 число булевых функций равно 221 = 22 = 4. Определение этих функций содержится в следующей таблице.

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

x

0

x̅

x

1

0

0

1

0

1

1

0

0

1

1

Названия булевых функций от одной переменной:

Обозначение

Название

0

тождественный ноль, тождественная ложь, тождественное "НЕТ"

x̅, ¬xx'

отрицание, логическое "НЕТ", "НЕ", "НИ", "NOT"(англ.), "NO"(англ.)

x

тождественная функция, логическое "ДА", "YES"(англ.)

1

тождественная единица, тождественная истина, тождественное "ДА", тавтология

Бинарные функции

При n = 2 число булевых функций равно 2 = 24 = 16.

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

x

y

0

xy

xy

x

xy

y

xy

x|y

x & y

x ≡ y

y

xy

x

xy

x ∨ y

1

0

0

0

1

0

1

0

1

0

1

0

1

0

1

0

1

0

1

0

1

0

0

1

1

0

0

1

1

0

0

1

1

0

0

1

1

1

0

0

0

0

0

1

1

1

1

0

0

0

0

1

1

1

1

1

1

0

0

0

0

0

0

0

0

1

1

1

1

1

1

1

1

Названия булевых функций от двух переменных:

Обозначение

Название

0

тождественный ноль, тождественная ложь, тождественное "НЕТ"

x ↓ yx ИЛИ-НЕ y, ИЛИ-НЕ(x,y), x NOR y, NOR(x,y)

НЕ- 2ИЛИ, 2ИЛИ-НЕ, антидизъюнкция, функция Да́ггера, функция Ве́бба, стрелка Пи́рса

x < yx ← yx LT y, LT(x,y)

меньше, инверсия обратной импликации

x, НЕ1(x,y), NOT1(x,y), x', ¬x

отрицание (негация, инверсия) первого операнда

x > yx → yx GT y, GT(x,y)

больше, инверсия прямой импликации

y, НЕ2(x,y), NOT2(x,y), y', ¬y

отрицание (негация, инверсия) второго операнда

x ⊕ yx +2 yx ≠ yx >< yx <> yx XOR y, XOR(x,y)

сложение по модулю 2, не равно, измена, исключающее «или»

x | yx NAND y, NAND(x,y), x И-НЕ y, И-НЕ(x,y)

НЕ-2И, 2И-НЕ, антиконъюнкция, штрих Ше́ффера

x & yx · yxyx ∧ yx AND y, AND(x,y), x И y, И(x,y), min(x,y)

2И, конъюнкция

x ≡ yx = yx EQV y, EQV(x,y), x ~ yx ↔ y

равенство, эквивалентность

y, ДА2(x,y), YES2(x,y)

второй операнд

x → yx ≤ yx ⊃ yx LE y, LE(x,y)

меньше или равно, прямая (материальная) импликация (от первого аргумента ко второму)

x, ДА1(x,y), YES1(x,y)

первый операнд

x ← yx ≥ yx ⊂ yx GE y, GE(x,y)

больше или равно, обратная импликация (от второго аргумента к первому)

x ∨ yx + yx ИЛИ y, ИЛИ(x,y), x OR y, OR(x,y), max(x,y)

2ИЛИ, дизъюнкция

1

тождественная единица, тождественная истина, тождественное "ДА", тавтология