Построить таблицу истинности и определить, при каких значениях переменных (a,b) логическое выражение принимает ложное значение.
Не ((A /\ B)->(A->B))
Вроде такая, при импликации толко 1->0 даёт значение 0, отталкивайся от этого, удачи)
