Упростить логическое выражения not( notA→ (B→notC)) Не могу разобрать как это решать

Есть закон B→C = notB or C, а значит
(B→notC) можно представить как (notB or notC), далее по аналогии...
все выражение становится not( A or not B or notC) = notA and B and C (по правилу деМоргана)