- •1. Предикаты и кванторы
- •Определение
- •Примеры
- •Операции над предикатами
- •Логические операции
- •Кванторные операции
- •Примеры
- •Введение в понятие
- •Кванторы в математической логике
- •Свободные и связанные переменные
- •Операции над кванторами
- •2. Комбинаторные правила. Правило птичьих гнёзд. Правило сложения
- •Тема 2. Элементы теории множеств и комбинаторика
- •3. Общие правила комбинаторики
- •Пример 1
- •Пример 2
- •3. Правило умножения
- •4. Размещение с повторениями и без повторений
- •Количество размещений
- •Размещение с повторениями
- •Размещения без повторений
- •Где все это применяется, уже очевидно. Осталось только привести несколько хитрых примеров:
- •5. Сочетания без повторений
- •6. Сочетания с повторениями. Разбитие множеств на части
- •Определение
- •Разбиения конечных множеств
- •Примеры
- •7. Отношения. Представления и свойства отношений
- •8. Отношения эквивалентности. Связь отношений эквивалентности и разбиений множеств
- •Связанные определения
- •Примеры отношений эквивалентности
- •Факторизация отображений
- •9. Отношение эквивалентности. Связь отношений эквивалентности и разбиений множеств Отношение частичного порядка
- •10. Отношения линейного порядка Отношение линейного порядка
- •Упорядоченные множества
- •11. Логические функции. Задание и элементарные функции
- •Основные сведения
- •Нульарные функции
- •Унарные функции
- •Бинарные функции
- •Тернарные функции
- •[Править]Полные системы булевых функций Суперпозиция и замкнутые классы функций
- •Тождественность и двойственность
- •Полнота системы, критерий Поста
- •Представление булевых функций
- •Дизъюнктивная нормальная форма (днф)
- •Конъюнктивная нормальная форма (кнф)
- •Элементарные функции по Лиувиллю
- •Дифференцирование элементарных функций
- •Интегрирование элементарных функций
- •12. Дизъюнктивные нормальные формы
- •Примеры и контрпримеры
- •Построение днф Алгоритм построения днф
- •Пример построения днф
- •Переход от днф к сднф
- •13. Минимизация днф
- •14. Монотонные функции
- •Определения
- •Другая терминология
- •Свойства монотонных функций
- •Условия монотонности функции
- •15. Графы. Представления графов. Пути в графах
- •Путь и цикл в графе. Эйлеровые линии
Нульарные функции
При 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̅, ¬x, x' |
отрицание, логическое "НЕТ", "НЕ", "НИ", "NOT"(англ.), "NO"(англ.) |
x |
тождественная функция, логическое "ДА", "YES"(англ.) |
1 |
тождественная единица, тождественная истина, тождественное "ДА", тавтология |
Бинарные функции
При n = 2 число булевых функций равно 22² = 24 = 16.
Таблица значений булевых функций от двух переменных:
x |
y |
0 |
x↓y |
x←y |
x |
x→y |
y |
x⊕y |
x|y |
x & y |
x ≡ y |
y |
x→y |
x |
x←y |
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 ↓ y, x ИЛИ-НЕ y, ИЛИ-НЕ(x,y), x NOR y, NOR(x,y) |
НЕ- 2ИЛИ, 2ИЛИ-НЕ, антидизъюнкция, функция Да́ггера, функция Ве́бба, стрелка Пи́рса |
x < y, x ← y, x LT y, LT(x,y) |
меньше, инверсия обратной импликации |
x, НЕ1(x,y), NOT1(x,y), x', ¬x |
отрицание (негация, инверсия) первого операнда |
x > y, x → y, x GT y, GT(x,y) |
больше, инверсия прямой импликации |
y, НЕ2(x,y), NOT2(x,y), y', ¬y |
отрицание (негация, инверсия) второго операнда |
x ⊕ y, x +2 y, x ≠ y, x >< y, x <> y, x XOR y, XOR(x,y) |
сложение по модулю 2, не равно, измена, исключающее «или» |
x | y, x NAND y, NAND(x,y), x И-НЕ y, И-НЕ(x,y) |
НЕ-2И, 2И-НЕ, антиконъюнкция, штрих Ше́ффера |
x & y, x · y, xy, x ∧ y, x AND y, AND(x,y), x И y, И(x,y), min(x,y) |
2И, конъюнкция |
x ≡ y, x = y, x EQV y, EQV(x,y), x ~ y, x ↔ y |
равенство, эквивалентность |
y, ДА2(x,y), YES2(x,y) |
второй операнд |
x → y, x ≤ y, x ⊃ y, x LE y, LE(x,y) |
меньше или равно, прямая (материальная) импликация (от первого аргумента ко второму) |
x, ДА1(x,y), YES1(x,y) |
первый операнд |
x ← y, x ≥ y, x ⊂ y, x GE y, GE(x,y) |
больше или равно, обратная импликация (от второго аргумента к первому) |
x ∨ y, x + y, x ИЛИ y, ИЛИ(x,y), x OR y, OR(x,y), max(x,y) |
2ИЛИ, дизъюнкция |
1 |
тождественная единица, тождественная истина, тождественное "ДА", тавтология |