任何人都可以推荐可用于评估逻辑表达式的软件（最好是 mac）或基于 Web 的工具吗？
例如，我希望能够快速测试两个表达式是否像：
$a = 'foo';
$b = 'bar';
$c = 'foo';
( !(($a == $c) && ($b == $c)) )
// and
( ($a != $c) || ($b != c$) )
是否可以互换。
此外，关于如何构建此类表达式，是否存在普遍公认的最佳实践？例如尽量减少否定的使用，元素的顺序或类似的东西？
有时我发现自己在这些事情上有点挣扎:)