User Portlet
| Discussions |
|---|
| Okay, maybe it's not a tautology. But it sure quacks like one. boolean = ((X \[Or] Y) \[Implies] Z) \[Or] ((! X \[Implies] ! Y) \[Implies] ! Z); ruleList = Map[Thread, Map[{X, Y, Z} -> # &, Flatten[Outer[List,... |