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
Analysis IsEqual IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsSelfAntiDualFunction And binary() FromBinary StringToBinaryNumber binaryioset bool ToDualFunction ToPOS ToXORP Dimacs Eq long() NumberSystem RadixToIndex Or POS real() To2LayerAndOr TransitionSeries FastVerificationData Canonical StateDeviceName TruthTable GetSubTable Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.