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, an input WFF and converting the input WFF into an initial bit array. The method may further include simplifying the initial bit array into a simplified bit array by removing predicates from th...

Full description

Saved in:
Bibliographic Details
Main Authors FERTIG KENNETH W, RIGGINS BRUCE, REDDY SUDHAKAR Y
Format Patent
LanguageEnglish
Published 05.05.2015
Subjects
CALCULATING
COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary:A method for simplifying a complex well-formed formula (WFF) may include receiving, in a formula processor, an input WFF and converting the input WFF into an initial bit array. The method may further include simplifying the initial bit array into a simplified bit array by removing predicates from the initial bit array not necessary to represent the input WFF. The method may include converting the simplified bit array into a return WFF in either a conjunctive normal form or a disjunctive normal form.
Bibliography:Application Number: US201213422335