Mithilfe von Python und der Bibliothek PySAT Ratsel losen: Um Probleme zu formalisieren, brauchen Sie boolesche Algebra. In all das fuhrt dieser Artikel ein.