IsBiUnateFunctionTo IsSymmetricFunctionTo IsUnateFunction AndXor binary() BCD PureBinary AddXorTerm ToDiagram DiagramGateName Imply Get Load logicvardef() real Realization OutputAndStateBasedly ShannonTree Full SimpleCover string CreateFromLogicFunctions GetDontCareLogicFunction GetSubTable RandomGenerate ComputeFunctionOrder IndependentBase var Xor Zero