powered by
Decompose a formula
decomposeFormula(formula)
a list of lists of the formulas components
the formula to decompose