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
IsEqual IsOneFunction IsUnateFunction AndOr BDD List MinValue BCDEx3 binaryioset() binaryioset ToSOP Diagram Dimacs Load MantissaToPositiveInteger RadixFromIndex RadixToIndex OrAnd Print SOP To2LayerNand TransitionSeries CreateCompactTableWithFullSimplification SimpleCover GetDontCareLogicFunction GetNegativeLogicFunction RandomGenerate AdjustLogicVariableCount ComputeDONTCARE Zero