And


Back to table

/*
Logic-Function-Analysis
And

[LogicFunction g]=And(LogicFunction F1, ...);

Fi : a list of logic functions.
g : a logic function.

Compute the AND operator: g=And(F1,F2,...).

After the And() operation, we only apply the Simplification.SimpleInner(), and a few steps of Simplification.SimpleCover().
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }

f=And(P,Q);
Print(f);

//-------------------------------------------------------------------
// result





Analysis IsBiUnateFunction IsSelfAntiDualFunction IsSymmetricFunction IsThresholdFunction AndOr BDD Binary OneComplement bool ToROBDD Dimacs Equiv Get long minterm MantissaToPositiveInteger MostSignificantDigit PositiveIntegerToMantissa Radixes object() One To2LayerOrAnd To2LayerAndXor Solve ToStateTransitionTable SimpleCover TimingChart CreateDummyLogicFunction Zero

搜索本網站 :

 
Buy website traffic cheap