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
IsBiUnateFunctionTo IsLinearFunction IsMonotonicFunction IsNegativeUnateFunctionTo ToBinary binaryioset bool() ToDiagram ToTruthTable Equiv list() logicvardef long LeastSignificantDigit MantissaToPositiveInteger POS To2LayerOrAnd SOP To2LayerAndXor ToFullAnd Save Assign AutoAssignInputAndStateVariables ShannonTree Canonical string CreateFromLogicFunctions RandomGenerate var Zero