Imply

---

Back to table

/*
Logic-Function-Analysis
Imply

[LogicFunction g]=Imply(LogicFunction F1, LogicFunction F2);

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

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

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

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

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