Операция «штрих Шеффера»
💻 Информатика · 8 класс
Что такое штрих Шеффера
Штрих Шеффера — это логическая операция, которую называют ещё «И-НЕ». Она выполняется в два действия: сначала берётся логическое умножение (конъюнкция) двух высказываний, а затем полученный результат отрицается. Обозначают операцию вертикальной чертой между переменными: A | B. В некоторых учебниках используют надчёркивание над знаком конъюнкции. Операция названа в честь американского логика Генри Шеффера, который показал её замечательное свойство — способность заменить собой все остальные базовые операции.
Простыми словами, выражение A | B ложно только тогда, когда оба высказывания истинны. Во всех остальных случаях результат истинен. Это прямая противоположность операции «И»: там результат истинен лишь при двух единицах, а здесь он, наоборот, при двух единицах обращается в ноль. Поэтому штрих Шеффера часто описывают фразой «не оба сразу».
Таблица истинности
Запишем значения для всех четырёх возможных наборов переменных. Здесь 1 означает «истина», а 0 — «ложь». Для наглядности рядом приведём столбец обычной конъюнкции, чтобы было видно их связь.
| A | B | A и B | A | B (И-НЕ) |
|---|---|---|---|
| 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 0 |
Видно, что последний столбец получается из столбца «A и B» простой заменой: каждый ноль становится единицей, а единица — нулём. Это и есть отрицание конъюнкции.
Связь с другими операциями
Штрих Шеффера выражается через базовые операции по короткой формуле:
A | B = НЕ (A и B)
Но самое важное свойство этой операции — универсальность (функциональная полнота). Через один только штрих Шеффера можно выразить отрицание, конъюнкцию и дизъюнкцию, то есть весь набор операций алгебры логики. Покажем, как получить отрицание:
НЕ A = A | A
Проверим это утверждение. Если A = 1, то 1 | 1 = 0; если же A = 0, то 0 | 0 = 1. Получилась в точности таблица отрицания. Конъюнкцию строят, отрицая результат штриха: A и B = (A | B) | (A | B). А дизъюнкцию собирают, применяя штрих к отрицаниям обеих переменных. Так из одного «кирпичика» складывается вся логика.
Правило. Результат штриха Шеффера равен нулю в единственном случае — когда обе переменные равны единице. Частая ошибка: путать эту операцию с дизъюнкцией «ИЛИ» из-за похожего вертикального знака. Запомните разницу: «ИЛИ» истинно при хотя бы одной единице, а «И-НЕ» — ложно при двух единицах. Ещё одна ошибка — забыть, что отрицание выполняется в самом конце, уже после умножения.
Где применяется
В цифровой технике на основе элемента «И-НЕ» строят логические схемы любой сложности, ведь достаточно элементов одного типа. Это упрощает и удешевляет производство микросхем: завод выпускает один универсальный элемент вместо нескольких разных. Именно поэтому штрих Шеффера называют функционально полным элементом, и он широко применяется в реальных процессорах и микросхемах памяти.
Кратко о главном
- Штрих Шеффера — операция «И-НЕ», обозначается
A | B. - Результат ложен только при двух истинных переменных.
- Формула связи с базовыми операциями:
A | B = НЕ (A и B). - Операция универсальна: через неё выражаются «НЕ», «И» и «ИЛИ».
- Отрицание получается как
A | A. - На элементах «И-НЕ» строят реальные цифровые схемы.