Mithilfe von Python und der Bibliothek PySAT Rätsel lösen: Um Probleme zu formalisieren, brauchen Sie boolesche Algebra. In all das führt dieser Artikel ein.