Question

任何人都可以推荐可用于评估逻辑表达式的软件（最好是用于mac）或基于Web的工具吗？

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

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

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

// and

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

是否可以互换。

此外，关于如何构建此类表达式，通常是否达成了一致的最佳实践？例如，尝试最小化否定的使用，元素的顺序或类似的东西？

有时我发现自己在这些方面有点挣扎：）

Answer 1

您也可以使用Wolfram Alpha

或

Answer 2

您可以使用类似http://www-cs-students.stanford.edu/~silver/truth/的内容并比较生成的真值表。