2
論理式を評価するために使用できるソフトウェア（推奨Mac用）またはWebベースツールをお勧めする人はいますか？私はすぐのような二つの表現かどうかをテストできるようにしたいと思います。例えば論理式をテストするためのツール
：
$a = 'foo';
$b = 'bar';
$c = 'foo';
(!(($a == $c) && ($b == $c)))
// and
(($a != $c) || ($b != c$))
は交換可能かではありません。
また、そのような表現をどのように構築するかに関して、合意されたベストプラクティスが一般に存在しますか？例えば、否定の使用、要素の順序、またはそのようなものの使用を最小限にしようとしますか？
は時々私は自分自身がこれらの事で少し苦しんで見つける:)
を使用することができますおかげで便利なthatsのが、それはしかし仕事のビットを必要とします。私が正しく理解していれば、（a＆b）と（a | b）のような例を書き直して、それらの真理値表を比較し、後者の出力を否定する必要がありました。しかし、一度私はその仕事をして、私はすでに私が避けようとしていることをやった。私は直接私の例のような文字列を入力することができるようにしたいと思います。 – mikkelbreum