logic - 测试逻辑表达式的工具

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

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

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

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

// and

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

是否可以互换。

而且，关于如何构建这样的表达方式，是否有普遍公认的最佳实践？例如，尽量减少否定的使用，元素的顺序或类似的东西？

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

最佳答案

关于logic - 测试逻辑表达式的工具，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/6776229/

相关文章：

algorithm - KMeans 评估指标不收敛。这是正常行为还是不正常？