MatchLogicFunction IsBiUnateFunction IsBlankFunction IsOneFunction IsSymmetricFunction And MinValue GrayCode PureBinary DigitalSystem Eq ExcitationTable long object Or OrAnd To2LayerAndXor SAT Solve GetExcitationTable Implementation FullTable BestVariableOrder Fast SimpleInner GetNegativeLogicFunction Utility CreateDummyLogicFunction XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.