(¬∀ x L(x) ∧ ∃ y ¬R(y))
Informationen und Hilfe

Formeleingabe

  strict relaxt

Eingabe entspricht der Formel

(¬∀ x L(x) ∧ ∃ y ¬R(y))

Formel in Pränexnormalform

∃ v0 ∃ v1 (¬L(v0) ∧ ¬R(v1))

Valid XHTML 1.0