Implikation von Aussagen

Question

 

Die Implitaktion aus den beiden Aussagen A und B ist die Aussage A⇒B.
Mit Worten:" Aus A folgt B". 
Das verstehe ich noch, jedoch wird jetzt in meinem Script geschrieben, dass 

A ⇒B gleichbedeutend mit der Aussage (¬A ∨ B) ∧ (¬B ∨ A) sei.

Kann mir jemand diese Gleichsetzung erklären? 

LG. 

Answer 1

A ⇒B gleichbedeutend mit der Aussage  ¬A ∨ B 
  Der Rest steht nur bei  A ⇔ B

Comments

Oh sorry. 
Aber die Frage bleibt die gleiche. Wie erklärt sich die Gleichsetzung von A ⇒B  mit  ¬A ∨ B?