Convert.ToDualFunction
Back to table
/*
Logic-Function-Analysis
Convert.ToDualFunction
[AndOr g]=Convert.ToDualFunction(LogicFunction f);
f : a logic function
g : a logic functin in the AndOr form
Compute the DUAL function, expressed in the AndOr form.
*/
//-------------------------------------------------------------------
// examples
f=AndOr()
{
1,-2;
-1,2;
}
g=Convert.ToDualFunction(f);
Print(f,g);
//-------------------------------------------------------------------
// result
MatchLogicFunction IsInverse IsNegativeUnateFunctionTo IsParityFunction IsSelfDualFunction MaxValue BCDEx3 NineComplement ToShannonTree FeedbackDiagram Count logicvardef() long() Nor Print To2LayerOrAnd To2LayerNand ToFullAnd SAT MaxSAT StateVariables ToStateTransitionTable Fast Full MultiCover Shannon SemanticEval ShrinkLogicFunction var() Zero