Основы информатики и вычислительной техники: Учебно-практическое пособие, страница 55

3.  Распределительный

4.  Отрицания

Справедливость любого закона может быть показана с помощью таблицы истинности.

Покажем справедливость последнего закона

Из таблицы видно, что при всех сочетаниях значений логических переменных Х₁ и Х₂ значения логических функций  и  совпадают. Следовательно, эти логические функции тождественны, т.е. закон справедлив.

Основные формулы, используемые при упрощении логических функций

Синтез схемы одноразрядного двоичного сумматора с двумя входами (логического полусумматора).

Составим таблицу работы сумматора в соответствии с двоичной таблицей сложения