Logo

Formeleingabe

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