IsEqual IsInverse IsOneFunction And BDD binary() GrayCode ToShannonTree ToSOP ToXORP FeedbackSystem list() LogicScript PositiveIntegerToMantissa Radixes real To2LayerAndXor OutputAndStateBasedly CreateCompactTableWithFullSimplification GetExcitationTable To2layerOrAnd FullTable ShannonTree Fast GetSubTable RandomGenerate IndependentBase Substitute var() Zero