論理式の評価に使用できるソフトウェア (できれば Mac 用) または Web ベースのツールを推奨できる人はいますか?
たとえば、次のような 2 つの式があるかどうかをすばやくテストできるようにしたいと考えています。
$a = 'foo';
$b = 'bar';
$c = 'foo';
( !(($a == $c) && ($b == $c)) )
// and
( ($a != $c) || ($b != c$) )
交換可能かどうか。
また、そのような式を作成する方法に関して、一般的に合意されたベストプラクティスはありますか? たとえば、否定の使用、要素の順序などを最小限に抑えるにはどうすればよいですか?
時々、私はこれらのことに少し苦労していることに気づきます:)