Realization.SOP.ToFullAnd
Back to table
/*
Logic-Function-Analysis
Realization.SOP.ToFullAnd
[Diagram g]=Realization.SOP.ToFullAnd(LogicFunction F,...);
F : a list of logic functions.
g : a logic fucntion in the Diagram form
Realize a list of SOP with the only the 2-input-1-output AND gates.
Search and match all the 2-input-1-output pattern is a time-consuming jobs.
*/
//-------------------------------------------------------------------
// examples
f1=Utility.CreateDummyLogicFunction("AndOr",4,4);
f2=Utility.CreateDummyLogicFunction("AndOr",3,2);
Print(f1,f2);
[diagram]=Realization.SOP.ToFullAnd(f1,f2);
Print(diagram);
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsNegativeUnateFunctionTo IsOneFunction IsUnateFunction AbsoluteExpression FromBinary MaxValue NineComplement PureBinary Convert ToVariableInvertedFunction Equiv Imply NumberSystem Print To2LayerAndOr ToFullAnd SAT ShortestInputsForDistinguishTwoStates TransitionSeries AutoAssignInputAndStateVariables Backwardly ToFeedbackSystem ROBDD TimingChart GetDontCareLogicFunction GetPositiveLogicFunction Utility SemanticEval Zero