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