Инвертирующие базисы

Три вышеописанные логические функции И, ИЛИ, НЕ называют булевым базисом, с помощью которых можно получить все остальные логические функции. Иногда объединяют две функции булева функции (при этом одной из них является НЕ), и получившийся логический элемент считают базовым для получения всех остальных логических функций.

Элемент И – НЕ называют также: штрих Шеффера (Sheffer stroke), NAND (сокращенное от NOT AND). Алгебраическая запись функции И – НЕ.