IsBlankFunction IsPositiveUnateFunctionTo IsSelfDualFunction AndOr FromBinary List BCDEx3 PureBinary binary binaryioset() Convert ToDualFunction ToShannonTree Diagram logicvardef() long() long One To2LayerAndOr InputVariables Backwardly ToFeedbackSystem DontCare Full SimpleCover GetDontCareLogicFunction AdjustLogicVariableCount IndependentBase SemanticEval Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.