Построение таблиц истинности для логических выражений

А V A & B
n = 2, m = 22 = 4.
Приоритет операций: &, V
Пример построения таблицы истинности

Свойства логических операций
Законы алгебры-логики
A & B = B & A
A V B = B V A
A&(BVC)= (A&B) V (A&C)
AV(B&C) = (AVB)&(AVC)
(A & B) & C = A & ( B & C)
(A V B) V C =A V ( B V C)
Переместительный
Сочетательный
Распределительный
Закон двойного
отрицания
A & Ā = 0
A V Ā = 1
A & 0=0; A &1 = A
A V 0 = A; A V 1 = 1
A & A = A
A V A = A
Закон исключения
третьего
Закон повторения
Законы операций
с 0 и 1
Законы общей
инверсии