ground formula

logic formula without variables

Kategorien: