объясните как свернули формулу по мат. логике

Question

объясните как свернули формулу по мат. логике

Диана Прокапенко Ученик (199), закрыт 7 лет назад

(A∨A)&B∨A ≡ A&B∨A ≡ A&B∨A& 1 ≡ A& (B∨1) ≡ A&1≡ A.

не понимаю откуда в середине формулы взялась единица, как из выражения A&B∨A получилось A&B∨A& 1

Answer 1

Смысл в том, что единице туда просто подставили, и при этом значение выражения не изменилось. Для того чтобы затем можно было преобразовать дальше.
То есть A заменили на A&1, потому что A=A&1

Answer 2

Я не знаю, но почему-то все загружают на сайт:
zadachi . com . ua

Наберите его в интернете, зайдите и зарегистрируйтесь там.