Элемент НЕ (инвертор)

Логический элемент НЕ выполняет операцию логического отрицания над своими входными данными и имеет один вход и один выход. Иногда его называют инвертор, так как он инвертирует входной сигнал. На рис. 3 изображено УГО элемента НЕ.

Рис. 3

Аксиомы

2. 3. 4. 5.

6. 7. 8. 9.

	Для конъюнкции	Для дизъюнкции
1. Переместительный закон:
2. Закон повторения (тавтологии):
3. Закон нулевого множества:
4. Закон универсального множества:
5. Закон дополнительности:
6. Закон поглощения:
7. Закон склеивания:
8. Закон инверсии (закон Де Моргана):
или после инвертирования правых и левых частей
9. Закон обращения: если , то
10. Закон двойной инверсии:
11. Сочетательный закон:
12. Распределительный закон:

1. Конъюнкция – логическое умножение (И) – and, &, ∧.

2. Дизъюнкция – логическое сложение (ИЛИ) – or, |, v.

3. Логическое отрицание (НЕ) – not,.