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

Search This Website :

 
Buy website traffic cheap