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 IsSymmetricFunction IsSymmetricFunctionTo IsUnateFunctionTo Binary List NineComplement OneComplement TwoComplement bool() bool ToOrAnd ToDiagram ExcitationTable Count minterm() ToFullAnd TransitionSeries Backwardly StateVariables StateTransitionBasedly GetExcitationTable Implementation Compatibility BestVariableOrder SimpleInner string() GetPositiveLogicFunction var Zero