Analysis IsInverse IsNegativeUnateFunctionTo IsPositiveFunction IsSymmetricFunctionTo And FromBinary BCD GrayCode bool() ToOrAnd DiagramGateName ExcitationTable Imply Nand Radixes object() PermutationMatrix To2LayerNand StateVariables ToFeedbackSystem CreateCompactTableWithFullSimplification Implementation BestVariableOrder string() TimingChart CreateFromLogicFunctions IndependentBase var Zero