IsCovering IsInverse IsUnateFunctionTo ToAndOr Binary List BinaryNumberToString binary binaryioset() bool() ToAndXor Diagram Dimacs Eq Imply long minterm() POS Realization To2LayerNor SOP To2LayerAndXor Assign StateVariables StateTransitionBasedly string GetDontCareLogicFunction GetSubTable EnlargeLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.