tool for testing logic expressions

Question

can anyone recommend software (preferably for mac) or a web based tool, that can be used to evaluate logic expressions?

For example I would like to be able to quickly test whether two expressions like:

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

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

// and

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

are interchangeable or not.

And also, is there generally an agreed upon best practice in relation to how to construct such expressions? For example to try to minimize the use of the negation, the order of the elements or something like that?

Sometimes I find myself struggling a bit with these things :)

Answer 1

You can also use Wolfram Alpha

https://www.wolframalpha.com/input/?i=P+%26%26+(Q+%7C%7C+R)&lk=3

or

https://www.dcode.fr/boolean-expressions-calculator

Answer 2

You can use something like http://www-cs-students.stanford.edu/~silver/truth/ and compare the generated truth tables.