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
IsBiUnateFunction BDD binary() List BCD GrayCode TwoComplement binary binaryioset() binaryioset ToNotFunction ToROBDD ToSOP Diagram DigitalSystem minterm() MantissaToPositiveInteger OrAnd To2LayerNor ToFullAnd SAT Solve Backwardly FastVerificationData Canonical MultiCover Shannon GetSubTable ShrinkLogicFunction Zero