zur Äquivalenz

[klark kent]

^ und
v oder
-> implikation
=> nicht Implikation
<-> äquivalenz
<=> nicht äquivalent

also das ist mir klar:
A-> ist gleichbedeutend mit nichtA v B

A<->B ist gleichbedeutend mit (A->B)^(B->A)


mit was ist A<=>B gleichbedeutend?

und mit was ist A=>B äquivalent?

kann mir das jemand zeigen?

[Lord Binary]

Nicht Implikation: Wenn das gemeint ist:

0 => 1 : 0
1 => 0 : 1
1 => 1 : 0
0 => 0 : 0

Dann ist es einfach die Negation der Impl, also
!(!A V B) = A ^ !B

Genauso bei nicht Äquivalenz:

(A ^ !B) V (!A ^ B)

[klark kent]

danke
aber
sorry ich meinte mit (äquivalent) gleichbedeutend (mein fehler):

und mit was ist A=>B gleichbedeutend?


also dan ist:

A=>B gleichbedeutend mit A ^ !B

A<=>B gleichbedeutend mit (A ^ !B) V (!A ^ B)

[Lord Binary]

Wenn A=> B die oben angegebene Verknüpfungstabelle/Semantik hat, ja.