Question from the article: “<i>If you have a formula containing variables that can be set as true or false rather than as number values, is it possible to set those variables in such a way that the formula outputs “true”?</i>”<p>There is a minimalistic web app that answers this question:
<a href="http://symbolabs.de/symboole" rel="nofollow">http://symbolabs.de/symboole</a><p>Enter a Boolean expression and chose the Solve or Shrink functionality from the pop-up menu.