System and method for rapid management of logic formulas

摘要

A method for simplifying a complex well-formed formula (WFF) may include receiving, in a formula processor (18), an input WFF (100) and converting the input WFF (100) into an initial bit array (200). The method may further include simplifying the initial bit array (200) into a simplified bit array (212) by removing predicates (114) from the initial bit array (200) not necessary to represent the input WFF (100). The method may include converting the simplified bit array (212) into a return WFF (138) in either a conjunctive normal form (142) or a disjunctive normal form (140).