Convert.ToSOP
Back to table
/*
Logic-Function-Analysis
Convert.ToSOP
[AndOr g]=Convert.ToSOP(LogicFunction f);
Compute the SOP of the logic object
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsParityFunction IsPositiveUnateFunctionTo IsSymmetricFunction IsThresholdFunction BDD ToAndOr MaxValue OneComplement ToNotFunction ToROBDD ToShannonTree Diagram Load RadixFromIndex RadixToIndex Or SAT MaxSAT ShortestInputsForDistinguishTwoStates TransitionSeries Simplification FastVerificationData DontCare GetDontCareLogicFunction GetNegativeLogicFunction RandomGenerate Normalization SemanticEval Xor Zero