User Portlet
| Discussions |
|---|
| I have found that Wolfram Alpha rarely understands queries in which the logical expression has more the three variables. I am trying to evaluate: ((A IMPLIES B) AND (B IMPLIES A) AND (C IMPLIES D) AND (D IMPLIES F) AND (E IMPLIES F) AND (F... |