преобразование логических элементов в cnf python

#python #sat #cnf Вопрос: у меня есть объектно-ориентированная логическая схема, созданная из объектов gate (аналогично второму примеру здесь: http://www.openbookproject.net/books/pythonds/Introduction/ObjectOrientedProgramminginPythonDefiningClasses.html ) Мне нужно представить схему в виде CNF: например https://ibb.co/W2Z4M3y есть…