IsMonotonicFunction IsSymmetricFunctionTo And ToAndOr BCDEx3 PureBinary binary ToOrAnd ToDiagram ToPOS ToVariableInvertedFunction DiagramGateName ExcitationTable list() Count LogicScript logicvardef() logicvardef NumberSystem RadixFromIndex One Or real To2LayerNand OutputAndStateBasedly ToFeedbackSystem Canonical GetSubTable IndependentBase Zero