IsZeroFunction binary() BCD NineComplement OneComplement PureBinary ToDiagram DiagramGateName DigitalSystem Eq Count Get long() Minus object real SOP Solve Save Sequential StateTransitionBasedly ToDigitalSystem To2layerOrAnd Compatibility MultiCover TimingChart Utility IndependentBase SemanticEval Zero