Negierte Implikation

Question

Hallöchen!

Folgeden Ausdrücke sollen als negierte Implikation geschrieben werden:


a)  A ∧ B ∧ (¬C)

b) (A∨B) ∧ (( ¬C) ∨ (¬B))


Hilfeee :(

Answer 1

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 ) )