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
IsBiUnateFunctionTo IsEqual IsInverse IsSelfAntiDualFunction IsUnateFunctionTo IsZeroFunction binary() AbsoluteExpression List BCDEx3 NineComplement OneComplement ToAndXor ToROBDD ToSOP long MostSignificantDigit PermutationMatrix Realization ToFullAnd SAT StateVariables Simplification Compatibility HuffmanMealy Full RandomGenerate AdjustLogicVariableCount EnlargeLogicFunction Zero