Докажите, что формула является противоречием (тождественно ложной). Напишите пожалуйста решение. Спасибо! Элементы математической логики предмет.
Ответ:
=('X+Y)•('X+'Y)•X=('X•'X+'Y•Y+Y•'X+'X•'Y)•X=
X•'X•X+'Y•Y•X+Y•'X•X+'X•'Y•X=
0+0+0+0=0 чтд