basicForm

Manip

bool2formula

FormulaBuilder

boolList2formulaList

FormulaBuilder