IsBiUnateFunction IsBiUnateFunctionTo IsInverse IsSelfAntiDualFunction AndXor Binary BinaryNumberToString ToDualFunction ToNotFunction ToTruthTable Dimacs Imply list() Count NumberSystem Radixes Print SOP To2LayerAndOr ShortestInputsForDistinguishTwoStates Assign DontCare Full GetNegativeLogicFunction Normalization SemanticEval ShannonExpansion Substitute XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.