(А->(В^C))^A^CПо закону Де Моргана: ~(A^C)По закону Де Моргана: ~A V ~CПо закону поглощения: ~A V ~CПо закону исключения третьего: ~C V ~AПо коммутативности конъюнкции: ~A V ~CПо закону Де Моргана: ~(A^C)По закону Де Моргана: ~A V ~CПо закону поглощения: ~A V ~CСледовательно, (А->(В^C))^A^C равно (~A V ~C) ^ ~A V ~C, что равняется True (истина)