Advanced IsEqual IsMonotonicFunction IsOneFunction IsSymmetricFunction IsSymmetricFunctionTo IsUnateFunctionTo BDD List ToDualFunction Eq Equiv logicvardef() MantissaToPositiveDecimal object() Or OrAnd To2LayerNor SOP ShortestInputsForTransition TransitionSeries ToFeedbackSystem CreateCompactTableWithFullSimplification FullTable HuffmanMealy Shannon RandomGenerate CreateDummyLogicFunction Normalization Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.