IsBiUnateFunctionTo IsCovering IsSymmetricFunction IsUnateFunction AndXor binary() FromBinary MinValue binary ToOrAnd ToDiagram ToXORP logicvardef() logicvardef minterm One PermutationMatrix real SOP Save InputVariables ToStateTransitionTable FullTable ROBDD string() Utility ComputeFunctionOrder EnlargeLogicFunction var() Zero