:)

man kann Äquivalenz folgendermaßen ausdrücken

a <=> b == a => b AND b => a und Implikation löst man auf mit

a => b == ~a OR b

das gibt also für die Formel A

A = (~x OR ~y) AND (y OR x)

Oder mach ich jetzt wieder Fehler?

und da sich ~x und x und ~x und y jeweils gegenseitig ausschließen, hat man
A = ~x AND y oder
A = ~y AND x\n\n

<!--EDIT|esskar|1090757948-->