Es gilt:
( A => B ) <=> ¬ A ∨ B
Daraus folgt:
¬ ( A => B ) <=> ¬ ( ¬ A ∨ B ) <=> A ∧ ¬ B
Also:
a) ( A ∧ B ∧ ( ¬ C ) )
<=> ( A ∧ B ) ∧ ( ¬ C )
<=> ¬ ( ( A ∧ B ) => C )
b) ( A ∨ B ) ∧ ( ( ¬ C ) ∨ ( ¬ B ) )
<=> ( A ∨ B ) ∧ ¬ ( C ∧ B )
<=> ¬ ( ( A ∨ B ) => ( C ∧ B ) )