IsBlankFunction IsPositiveFunction And FromBinary List NineComplement AddXorTerm ToDiagram Dimacs Imply long() Nand MantissaToPositiveInteger MantissaToPositiveNumber Radixes To2LayerNor To2LayerOrAnd To2LayerNand SAT Sequential GetExcitationTable ToDigitalSystem To2layerOrAnd Simplification GetDontCareLogicFunction Utility ComputeDONTCARE ComputeFunctionOrder Substitute Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.