Logic 逻辑表达式测试工具

有人能推荐软件（最好是mac）或基于web的工具，用于评估逻辑表达式吗

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

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

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

// and

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

是否可以互换

另外，对于如何构造这样的表达式，是否有一个公认的最佳实践？例如，尽量减少否定的使用，元素的顺序或类似的东西

---

有时我会发现自己在这些事情上有些挣扎：）

你可以使用类似的东西来比较生成的真值表。

你也可以使用Wolfram Alpha

或

---

谢谢这很有用，但需要做一些工作。如果我理解正确，我必须重写我的例子，如：（a&b）和（a | b），然后比较这些真值表，并自己否定后者的输出。但一旦我完成了这项工作，我就已经做了我试图避免的事情。我希望能够像我的示例中那样直接设置输入字符串。