Analysis.IsCovering

---

Back to table

/*
Logic-Function-Analysis
Analysis.IsCovering

[bool result]=Analysis.IsCovering(LogicFunction f, LogicFunction g);

f : a logic function
g : a logic function
result : true | false

Check whether $f \ge g$, where $Not(f) \cdot g = 0$ or $f + Not(g) = 1$.


*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
	1;2;3;
}
[g1]=Analysis.IsCovering(f,And(2,-3));
[g2]=Analysis.IsCovering(f,And(-1,2,-3));
Print(f,g1,g2);

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