Попытка отобразить логическую формулу:
In [27]: a,b,c,d = map(bddvar, 'abcd')
In [28]: f = a & b | a & c
In [30]: %dotobj f
<IPython.core.display.SVG object>
, как вы видите, я получаю сообщение, но изображение не отображается?
(gvmagic успешно загружен)
https://pyeda.readthedocs.io/en/latest/bdd.html