Упрощение логического выражения

[jevvol]

Начала разбирать примеры упрощений логических выражений.
Встретила следующий пример, который поставил меня в тупик.

Откуда автор упрощения взял выделенный фрагмент???

[Xaositect]

Идемпотентность дизъюнкции: $X = X + X$

[jevvol]

Как просто.
Спасибо за ответ

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: формулы не оформлены $\TeX$ом

jevvol
Наберите все формулы и термы $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.