Solveur SAT

Entrez une proposition ci-dessous pour déterminer si elle est satisfiable ou non, ou pour lister toutes les interprétations qui la satisfont.