(А->(В^C))^A^C решить с помощью законов
B под отрицанием и A^C под отрицанием

Ответа на этот вопрос пока нет. Попробуйте найти его через форму поиска.

Вас заинтересует