tool for testing logic expressions

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 :)

---

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

---

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

---

I like this site which does exactly what you are looking for, but it only supports limited logical operators: https://electronics-course.com/boolean-algebra