quantifier free formula
فرمول بدون سور
complexity of formula
پیچیدگی فرمول
عبارت) جمله)
term