测试逻辑表达式的工具

Question

谁能推荐可用于评估逻辑表达式的软件（最好是 Mac 版）或基于 Web 的工具？

例如，我希望能够快速测试两个表达式是否如下：

$a = 'foo';
$b = 'bar';
$c = 'foo';

( !(($a == $c) && ($b == $c)) )

// and

( ($a != $c) || ($b != c$) )

是否可互换。

而且，对于如何构建此类表达式，是否存在普遍认可的最佳实践？例如，尝试尽量减少否定、元素顺序或类似内容的使用？

有时我发现自己在这些事情上有点挣扎:)

Answer 1

您还可以使用 Wolfram Alpha

或者