ground formula

logic formula without variables

Kategorie: