Utility.IndependentBase
Back to table
/*
Logic-Function-Analysis
Utility.IndependentBase
[LogicFunction() bases]=Utility.IndependentBase(LogicFunction F1, ...)
Break down the space by the defined logic function, into the smallest and indenpendant sub-spaces(logic functions).
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsBiUnateFunctionTo IsBlankFunction IsSymmetricFunction BCDEx3 binaryioset() bool() ToPOS Email ExcitationTable long() object() Realization SOP To2LayerAndXor SAT Solve Backwardly StateVariables CreateCompactTable ROBDD DontCare MultiCover TimingChart Normalization ShannonExpansion Substitute var() var Zero