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

Question

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

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

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

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

// and

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

是否可以互换。

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

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

Answer 1

您也可以使用 Wolfram Alpha

https://www.wolframalpha.com/input/?i=P+%26%26+(Q+%7C%7C+R)&lk=3

或者

https://www.dcode.fr/boolean-expressions-calculator