Ausschließliche Verwendung der Frege-Basis ( ¬, -->)

Question

Ich habe folgendes Mathematische Problem, ich soll  ∨ und ∧  durch ¬ und --> ersetzen.

Die Umformung von A∨B war recht simple mit der Implikationsregel gemacht (¬A -->B).

doch bei der Umformung von A ∧ B beiße ich mir grade die Zähne aus. Ich hoffe ihr könnt mir Helfen.

Answer 1

Moin

A ∧ B ↔ ¬(¬A ∨ ¬B) ↔ ¬(A → ¬B)
A ∧ B ↔ ¬(¬A ∨ ¬B) ↔ ¬(B → ¬A)

Beste Grüße