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