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
IsMonotonicFunction IsOneFunction IsPositiveUnateFunctionTo IsUnateFunction AndOr binary() BCDEx3 bool ToPOS ToTruthTable Email Eq Minus MantissaToPositiveDecimal RadixFromIndex object() To2LayerOrAnd To2LayerAndOr ToFullAnd Solve Sequential InputVariables StateTransitionBasedly CreateCompactTable Compatibility HuffmanMealy ROBDD StateDeviceName GetSubTable Zero