"logic formulas" - related articles and key terms