Equiv

---

Back to table

/*
Logic-Function-Analysis
Equiv

[LogicFunction g]=Equiv(LogicFunction F1, LogicFunction F1);

F1: a logic function
F2 : a logic function
g : a logic function

Compute the EQUIV operator: g=Equiv(F1,F2).

For according to the definition of the operator EQUIV, this module only allows two inputs.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }

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


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