{".class":"MypyFile","_fullname":"sympy.logic","future_import_flags":[],"is_partial_stub_package":false,"is_stub":false,"names":{".class":"SymbolTable","And":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.And","kind":"Gdef"},"Equivalent":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.Equivalent","kind":"Gdef"},"ITE":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.ITE","kind":"Gdef"},"Implies":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.Implies","kind":"Gdef"},"Nand":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.Nand","kind":"Gdef"},"Nor":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.Nor","kind":"Gdef"},"Not":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.Not","kind":"Gdef"},"Or":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.Or","kind":"Gdef"},"POSform":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.POSform","kind":"Gdef"},"SOPform":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.SOPform","kind":"Gdef"},"Xor":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.Xor","kind":"Gdef"},"__all__":{".class":"SymbolTableNode","kind":"Gdef","module_public":false,"node":{".class":"Var","flags":["is_inferred","has_explicit_value"],"fullname":"sympy.logic.__all__","name":"__all__","type":{".class":"Instance","args":["builtins.str"],"type_ref":"builtins.list"}}},"__annotations__":{".class":"SymbolTableNode","kind":"Gdef","module_public":false,"node":{".class":"Var","flags":["is_ready"],"fullname":"sympy.logic.__annotations__","name":"__annotations__","type":{".class":"Instance","args":["builtins.str",{".class":"AnyType","missing_import_name":null,"source_any":null,"type_of_any":6}],"type_ref":"builtins.dict"}}},"__doc__":{".class":"SymbolTableNode","kind":"Gdef","module_public":false,"node":{".class":"Var","flags":["is_ready"],"fullname":"sympy.logic.__doc__","name":"__doc__","type":"builtins.str"}},"__file__":{".class":"SymbolTableNode","kind":"Gdef","module_public":false,"node":{".class":"Var","flags":["is_ready"],"fullname":"sympy.logic.__file__","name":"__file__","type":"builtins.str"}},"__name__":{".class":"SymbolTableNode","kind":"Gdef","module_public":false,"node":{".class":"Var","flags":["is_ready"],"fullname":"sympy.logic.__name__","name":"__name__","type":"builtins.str"}},"__package__":{".class":"SymbolTableNode","kind":"Gdef","module_public":false,"node":{".class":"Var","flags":["is_ready"],"fullname":"sympy.logic.__package__","name":"__package__","type":"builtins.str"}},"__path__":{".class":"SymbolTableNode","kind":"Gdef","module_public":false,"node":{".class":"Var","flags":["is_ready"],"fullname":"sympy.logic.__path__","name":"__path__","type":{".class":"Instance","args":["builtins.str"],"type_ref":"builtins.list"}}},"bool_map":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.bool_map","kind":"Gdef"},"false":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.false","kind":"Gdef"},"gateinputcount":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.gateinputcount","kind":"Gdef"},"satisfiable":{".class":"SymbolTableNode","cross_ref":"sympy.logic.inference.satisfiable","kind":"Gdef"},"simplify_logic":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.simplify_logic","kind":"Gdef"},"to_cnf":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.to_cnf","kind":"Gdef"},"to_dnf":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.to_dnf","kind":"Gdef"},"to_nnf":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.to_nnf","kind":"Gdef"},"true":{".class":"SymbolTableNode","cross_ref":"sympy.logic.boolalg.true","kind":"Gdef"}},"path":"/home/bigcatc/miniconda3/envs/py310/lib/python3.10/site-packages/sympy/logic/__init__.py"}