IsLinearFunction IsOneFunction IsPositiveFunction IsSelfAntiDualFunction IsSymmetricFunction IsUnateFunctionTo BDD List ToDualFunction ExcitationTable FeedbackSystem Imply long() Nand RadixFromIndex Assign AutoAssignInputAndStateVariables StateVariables ToFeedbackSystem CreateCompactTableWithFullSimplification Fast FastVerificationData Canonical SimpleInner CreateFromLogicFunctions GetSubTable RandomGenerate Normalization ShannonExpansion Zero