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