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

Search This Website :

 
Buy website traffic cheap