Главная страница Случайная лекция
Мы поможем в написании ваших работ!
Порталы:
БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика
Мы поможем в написании ваших работ!
Унарные функции
При n = 1 число булевых функций равно 221 = 22 = 4. Определение этих функций содержится в следующей таблице.
Таблица значений булевых функций от одной переменной:
| x | x̅ | x | ||
Названия булевых функций от одной переменной:
| Обозначение | Название |
| тождественный ноль, тождественная ложь, тождественное "НЕТ" | |
| x̅, x, x' | отрицание, логическое "НЕТ", "НЕ", "НИ", "NOT"(англ.), "NO"(англ.) |
| x | тождественная функция, логическое "ДА", "YES"(англ.) |
| тождественная единица, тождественная истина, тождественное "ДА", тавтология |
[править] Бинарные функции
При n = 2 число булевых функций равно 22² = 24 = 16.
Таблица значений булевых функций от двух переменных:
| x | y | x↓y | x←y | x | x→y | y | x⊕y | x|y | x & y | x ≡ y | y | x→y | x | x←y | x ∨ y | ||
Названия булевых функций от двух переменных:
| Обозначение | Название |
| тождественный ноль, тождественная ложь, тождественное "НЕТ" | |
| 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ИЛИ, дизъюнкция |
| тождественная единица, тождественная истина, тождественное "ДА", тавтология |
| <== предыдущая страница | | | следующая страница ==> |
| Понятие булева аргумента и булевой функции | | | Основные соотношения булевой алгебры |
Дата добавления: 2015-07-26; просмотров: 195; Нарушение авторских прав
Мы поможем в написании ваших работ!