Кто-нибудь может порекомендовать программное обеспечение (предпочтительно для Mac) или веб-инструмент, который можно использовать для оценки логических выражений?
Например, я хотел бы иметь возможность быстро проверить, есть ли два выражения типа:
$a = 'foo';
$b = 'bar';
$c = 'foo';
( !(($a == $c) && ($b == $c)) )
// and
( ($a != $c) || ($b != c$) )
взаимозаменяемы или нет.
А также, существует ли обычно согласованная наилучшая практика в отношении того, как создавать такие выражения? Например, чтобы попытаться свести к минимуму использование отрицания, порядок элементов или что-то в этом роде?
Иногда я немного борюсь с этими вещами:)