Methode von Quine

  • Hallo,


    ich muss mit Hilfe der Methode von Quine überprüfen, ob folgende Formel eine Tautologie ist:


    (A ∧ B) ∨ ¬(C ∨ ¬D) → (A ∨ ¬C) ∧ (B ∨ D)


    Kennt sich jemand mit dieser Methode aus und kann mir sagen, wie ich da am besten vorgehen sollte?


    Hab absolut 0 Ahnung, was es zu beachten gibt.


    Viele Grüße