\hlSSKJrJrJrJrJrJrJrJrJ r J r J r J r J r JrJrJrJrJrJr SSKJr /SQrg))to_cnfto_dnfto_nnfAndOrNotXorNandNorImplies EquivalentITEPOSformSOPformsimplify_logicbool_maptruefalsegateinputcount) satisfiable)rrrrrrr r r r r rrrrrrrrrN)boolalgrrrrrrr r r r r rrrrrrrr inferencer__all__L/var/www/auris/envauris/lib/python3.13/site-packages/sympy/logic/__init__.pyrs/# r