not
є вбудованим логічним оператором, тому ви не можете використовувати його як назву модуля. Якщо ви намагаєтеся завантажити цей модуль символічного заперечення: https://www.ics.uci.edu/~eppstein/PADS/Not.py , тобі потрібно from Not import *
(python чутливий до регістру)
До речі, використовуйте from x import *
це погана ідея в більшості випадків. Це порушує статичний аналіз коду, він може приховати помилки, і ви імпортуєте всі види матеріалу у ваш простір імен. Крім кількох конкретних випадків використання, можливо, краще імпортувати тільки те, що вам потрібно, або залишити модуль власним простором імен.