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
MatchLogicFunction IsEqual IsOneFunction IsSymmetricFunction AbsoluteExpression List MaxValue Convert Dimacs Eq FeedbackDiagram Load LogicScript Minus Nand PermutationMatrix To2LayerAndOr ToFullAnd TransitionSeries ToFeedbackSystem CreateCompactTable Implementation ToDigitalSystem FullTable BestVariableOrder StateDeviceName GetNegativeLogicFunction ComputeFunctionOrder ShannonExpansion Zero