MatchLogicFunction IsEqual IsOneFunction IsSymmetricFunction AbsoluteExpression List MaxValue Convert Dimacs Eq FeedbackDiagram Load LogicScript Minus Nand PermutationMatrix To2LayerAndOr ToFullAnd TransitionSeries ToFeedbackSystem CreateCompactTable Implementation ToDigitalSystem FullTable BestVariableOrder StateDeviceName GetNegativeLogicFunction ComputeFunctionOrder ShannonExpansion Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.