Упрощение операций. Программист-оптимизатор упрощает условия в коде — заменяет длинные выражения эквивалентными, но короткими. Для каждого выражения запиши результат. Заполни таблицу: ¬¬A; B ∧ (A ∨ ¬A); (A ∧ ¬A) ∨ C; A ∨ (A ∧ B); A ∧ (A ∨ B).

Question

Вопрос:

Accepted Answer

Выражение	Упрощение	Закон
¬¬A	A	Закон двойного отрицания
B ∧ (A ∨ ¬A)	B	Закон исключённого третьего: A ∨ ¬A = 1; закон тождества: B ∧ 1 = B
(A ∧ ¬A) ∨ C	C	Закон противоречия: A ∧ ¬A = 0; закон тождества: 0 ∨ C = C
A ∨ (A ∧ B)	A	Закон поглощения
A ∧ (A ∨ B)	A	Закон поглощения

Ответ: