упростить логическое выражения
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 (по правилу деМоргана)