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
PermuteLogicFunction IsInverse IsMonotonicFunction IsSymmetricFunction BDD binary() binaryioset ToROBDD ToSOP Imply Not NumberSystem object() object POS real() To2LayerNor To2LayerOrAnd To2LayerAndOr To2LayerAndXor To2LayerNand Assign ShannonTree ROBDD DontCare Full TruthTable CreateFromLogicFunctions GetPositiveLogicFunction Zero