Множество логических функций от двух переменных
Аргументы | Логические функции от двух переменных | ||||||||||||||||
Заметим, что уникальных функций всего 8. Каждой соответствует инверсированная пара, иными словами:
, .
F1(x1,x2) – конъюнкция
Элементарная логическая функция (логическое произведение, И). Конъюнкция истинна тогда и только тогда, когда все ее аргументы истинны.
F7(x1,x2) – дизъюнкция
Элементарная логическая функция (логическое сложение, ИЛИ). Дизъюнкция истинна, если хотя бы один ее аргумент истинен.
F6(x1,x2) – строгая дизъюнкция
Сложение по модулю 2, исключающее ИЛИ. Обозначение: ⊕.
F8(x1,x2) – Элемент Вебба (стрелка Пирса)
Реализует функцию ИЛИ-НЕ. Является базисным элементом, т.е. только через ИЛИ-НЕ можно реализовать любую логическую функцию. Возвращает истину, когда все аргументы ложны. Обозначение: ↑.
F14(x1,x2) – Функция штрих Шеффера
Реализует функцию И-НЕ. Является базисным элементом, т.е. только через И-НЕ можно реализовать любую функцию. Обозначение: |.
Дата добавления: 2017-11-21; просмотров: 1534;