Advanced IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsThresholdFunction MaxValue BCDEx3 GrayCode OneComplement bool() ToROBDD Count Nor Radixes RadixFromIndex RadixToIndex object One OrAnd POS ToFullAnd MaxSAT FullTable Fast DontCare StateTransition TruthTable ComputeDONTCARE ShannonExpansion var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.