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





IsBiUnateFunction IsBiUnateFunctionTo IsInverse IsSelfAntiDualFunction AndXor Binary BinaryNumberToString ToDualFunction ToNotFunction ToTruthTable Dimacs Imply list() Count NumberSystem Radixes Print SOP To2LayerAndOr ShortestInputsForDistinguishTwoStates Assign DontCare Full GetNegativeLogicFunction Normalization SemanticEval ShannonExpansion Substitute XORP Zero

Search This Website :

 
Buy website traffic cheap