IsCovering IsUnateFunction ToBinary TwoComplement bool ToOrAnd ToNotFunction ToPOS DiagramGateName FeedbackSystem Imply minterm() Nand PositiveNumberToMantissa Or Print To2LayerAndOr To2LayerNand TransitionSeries Assign FastVerificationData Full SimpleCover StateTransition AdjustLogicVariableCount IndependentBase Normalization SemanticEval ShannonExpansion Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.