Логический элемент НЕ выполняет операцию логического отрицания над своими входными данными и имеет один вход и один выход. Иногда его называют инвертор, так как он инвертирует входной сигнал. На рис. 3 изображено УГО элемента НЕ.
Рис. 3 
Аксиомы
|
| Для конъюнкции
| Для дизъюнкции
|
| 1. Переместительный закон:
|
|
|
| 2. Закон повторения (тавтологии):
|
|
|
| 3. Закон нулевого множества:
|
|
|
| 4. Закон универсального множества:
|
|
|
| 5. Закон дополнительности:
|
|
|
| 6. Закон поглощения:
|
|
|
| 7. Закон склеивания:
|
|
|
| 8. Закон инверсии (закон Де Моргана):
|
|
|
| или после инвертирования правых и левых частей
|
|
|
9. Закон обращения: если , то
|
10. Закон двойной инверсии:
|
11. Сочетательный закон:
|
12. Распределительный закон:
|
1. Конъюнкция – логическое умножение (И) – and, &, ∧.
2. Дизъюнкция – логическое сложение (ИЛИ) – or, |, v.
3. Логическое отрицание (НЕ) – not,.