Один из способов решения такого уравнения - построить таблицы истинности для правой и левой частей и выписать строки, в которых для одних и тех же значений A, B, X найденные значения совпадают. Это требует построения двух таблиц и довольно громоздко.
Проще заменить знак равенства на операцию эквивалентности, построить одну таблицу истинности и выписать из нее значения A, B, X, дающие в результате 1. Во вложении нужная информация выделена желтым.
Далее построим маленькую табличку из выделенных A,B,X (второе вложение). Будем рассматривать её как таблицу истинности для функции X(A,B) и построим соответствующее логическое выражение.
С этой целью надо или выписать все строки, дающие 1 и записать их дизъюнкцию, или выписать строки, дающие 0, также записать их дизъюнкцию и сделать общее её отрицание. Поскольку строка с нулем одна, выберем последний вариант.
X = ¬(A∧¬B) = ¬A ∨ B = A → B (закон де-Моргана). Это и есть решение.
