1. Лихо, но попробуем упростить:
(a*not b)+(not a *b)→(c*d)=
not(a*not b + not a* b)+c*d =
((not a + b )*not(not a +b) +c*d =
((not a +b)*(a+not b)+c*d =
(not a * a +b * a+(not a +b)* not b)+c*d =
(b*a+(not a+b)*not b)+c*d =
b*a+not a*not b +c*d
Дальше упрощать уже не имеет смысла, да и не получится. Уфф...
2. Строим таблицу истинности:
Из которой получим 10 решений, соответствующих условию задачи.
Таблица во вложении.
Вот вроде так.
