Упростить:
([не]х1 или х2) = х1 и х2
составить таблицы истинности:
х1 х2 [не]х1 или х2
0 0 1
1 0 0 *
0 1 1
1 1 1 *
х1 х2 х1 и х2
0 0 0
1 0 0 *
0 1 0
1 1 1 *
у нас два совпадающих расклада*, при которых уранение полностью ложно или полностью истинно:
при х1=1, а х2=0:
0=0 - ложно
при х1=1 и х2=1:
1=1 - истинно, значит, это и есть ответ.