Question

упростить логическое выражения
not( notA→ (B→notC))

Не могу разобрать как это решать

Answer 1

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