MatchLogicFunction IsBlankFunction IsCovering IsInverse IsMonotonicFunction IsUnateFunction binary() List PureBinary binaryioset() ToDiagram ToNotFunction ToSOP FeedbackDiagram list() Count Get long() Or SOP To2LayerAndOr MaxSAT ShortestInputsForDistinguishTwoStates ToDigitalSystem HuffmanMealy ROBDD string() CreateDummyLogicFunction XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.