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