Modified from Database Formula Finder, Logic Formula Finder (LFF) finds logical formulas in terms of and, or and not that match a set of specifications.

Implication with And Truth Table[edit | edit source]

LFF merges implies with and, because A->B is seen as true only when A^B is true.

Not[edit | edit source]

LFF finds formulas wrapped in not, greatly increasing the number of satisfying formulas.

Future Features[edit | edit source]

LFF does not include negative results in the specification list, which it may in the future.

Community content is available under CC-BY-SA unless otherwise noted.