Основные законы логики : А = А – закон тождества

А & = 0 – закон непротиворечия

A Ú = 1 – закон исключенного третьего

= А – закон двойного отрицания

-------

Свойства констант: = 1 = 0

А Ú 0 = А А & 0 = 0

А Ú 1 = 1 А & 1 = 1

-------

Законы идемпотентности: А Ú А = А

А & А = A

-------

Законы коммутативности: А Ú В = В Ú А

А & В = В & А

-------

Законы ассоциативности: А ÚÚ С) = (АÚ В) Ú С

А && С) = (А & В) & С

-------

Законы дистрибутивности: А Ú& С) = (АÚ В) &Ú С)

А &Ú С) = (А & В) Ú& С)

-------

Законы поглощения: А Ú& В) = А

А &Ú В) = А

-------

Законы де Моргана:

-------

Базовые логические элементы компьютера

Логический элемент И

конъюнктор

Логический элемент ИЛИ

дизъюнктор

Логический элемент НЕ

инвертор