IsLinearFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSymmetricFunction IsUnateFunctionTo NineComplement ToVariableInvertedFunction Diagram FeedbackDiagram list() Count logicvardef minterm object Or POS real SAT Solve Sequential ShortestInputsForTransition OutputAndStateBasedly GetExcitationTable Implementation Simplification HuffmanMealy TimingChart GetPositiveLogicFunction SemanticEval Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.