ground formula

logic formula without variables