Utility.Normalization
Back to table
/*
Logic-Function-Analysis
Utility.Normalization
[LogicFunction() bases]=Utility.Normalization(LogicFunction F1, ...)
Compute the exclusive bases of a list of logic function.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsSymmetricFunction IsZeroFunction And AndXor Binary AddXorTerm Diagram Dimacs FeedbackSystem Load LeastSignificantDigit Or Print Realization To2LayerNor To2LayerAndXor Assign StateTransitionBasedly To2layerOrAnd FullTable HuffmanMealy BestVariableOrder FastVerificationData DontCare string() TruthTable AdjustLogicVariableCount ShrinkLogicFunction var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.