outil pour tester les expressions logiques

Question

quelqu'un peut-il recommander un logiciel (de préférence pour mac) ou un outil basé sur le Web, qui peut être utilisé pour évaluer les expressions logiques?

Par exemple, je voudrais pouvoir tester rapidement si deux expressions comme:

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

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

// and 

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

sont interchangeables ou non.

Et aussi, y a-t-il généralement une meilleure pratique sur la façon de construire de telles expressions? Par exemple pour essayer de minimiser l'utilisation de la négation, l'ordre des éléments ou quelque chose comme ça?

Quelquefois, je me un peu de mal avec ces choses :)

Answer 1

Vous pouvez utiliser quelque chose comme http://www-cs-students.stanford.edu/~silver/truth/ et comparer les tables de vérité générés.

Answer 2

Vous pouvez également utiliser Wolfram Alpha

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

ou

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