Re: help with a logic algorithm

Thiago Adams:

I need an algorithm that finds the possible states of
variables used in "ifs"

The industrial approach (e.g. from digital circuitry) is to
convert the expression into a minimal sum of truth
constituents.  There are several algorithms to do so
efficiently, i.e. to find the minimal coverage of the truth
table by truth constituents. The only ones I know are by a
Russian author published in a Russian book by logic, so I
cannot provide a useful reference.

A family of appraches is based on the Karnaugh map:

  https://en.wikipedia.org/wiki/Karnaugh_map

If you expressions are simple, however, a direct enumaration
of 2^n combinations could work.

--
()  ascii ribbon campaign -- against html e-mail
/\  www.asciiribbon.org   -- against proprietary attachments