PermuteLogicFunction IsCovering IsPositiveUnateFunctionTo IsUnateFunction IsUnateFunctionTo ToAndOr FromBinary ToBinary TwoComplement binaryioset() ToAndXor ToTruthTable Get Load logicvardef RadixFromIndex Realization SAT Solve OutputAndStateBasedly StateTransitionBasedly Compatibility Shannon SimpleCover TimingChart GetDontCareLogicFunction RandomGenerate Utility AdjustLogicVariableCount Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.