Diagram.ToAndOr
Back to table
/*
Logic-Function-Analysis
Diagram.ToAndOr
[AndOr() g]=Diagram.ToAndOr(Diagram drgm);
drgm : a logic function in the Diagram form
g : a list of logic function in the AndOr form.
Convert a Diagram to the AndOr logic functions.
*/
//-------------------------------------------------------------------
// examples
[diagram]=Diagram[11](1,2,3)
{
11=or(7,8,9,10);
7=and(2,3,4);
8=and(1,3,5);
9=and(1,2,6);
10=and(1,2,3);
4=not(1);
5=not(2);
6=not(3);
}
Print(diagram);
fandorList=Diagram.ToAndOr(diagram);
Print(fandorList);
fandor=Convert.ToAndOr(diagram);
Print(fandor);
//-------------------------------------------------------------------
// result
IsInverse IsNegativeUnateFunctionTo IsSelfDualFunction IsUnateFunction MinValue binaryioset() Diagram DiagramGateName Dimacs Equiv long() minterm MantissaToPositiveDecimal PositiveNumberToMantissa One real() To2LayerNor Solve AutoAssignInputAndStateVariables Implementation HuffmanMealy ShannonTree Fast SimpleCover StateTransition CreateFromLogicFunctions ComputeFunctionOrder IndependentBase Xor Zero