IsPositiveFunction IsThresholdFunction IsZeroFunction ToAndOr ToBinary binaryioset Convert ToAndXor AddXorTerm ToDualFunction ToPOS ToXORP DiagramGateName ExcitationTable object MaxSAT Assign To2layerOrAnd FastVerificationData ROBDD Full Shannon StateTransition string RandomGenerate Utility Normalization ShannonExpansion ShrinkLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.