Analysis IsBiUnateFunction IsBiUnateFunctionTo Binary GrayCode OneComplement PureBinary binary DigitalSystem FeedbackSystem logicvardef() minterm() minterm Nand PositiveDecimalToMantissa Realization To2LayerOrAnd MaxSAT Solve AutoAssignInputAndStateVariables Backwardly CreateCompactTable Implementation ShannonTree StateTransition CreateFromLogicFunctions IndependentBase SemanticEval Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.