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
PermuteLogicFunction IsBiUnateFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction IsSymmetricFunctionTo IsUnateFunctionTo binary() GrayCode Convert ToAndXor ToNotFunction DiagramGateName Equiv ExcitationTable Load LogicScript minterm Minus LeastSignificantDigit OrAnd Realization MaxSAT ToDigitalSystem Fast SimpleCover RandomGenerate EnlargeLogicFunction SemanticEval Zero