Simplification.SimpleCover

---

Back to table

/*
Logic-Function-Analysis
Simplification.SimpleCover

[LogicFunction g]=Simplification.SimpleCover(LogicFunction f);

f : a logic function
g : a logic function may in the simpler form

Simplify a logic function with the simple-cover algorithm.

*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 
   1,2 ; 
   -1,3 ; 
   -1,-2,3 ; 
   -1,-2,-3 ; 
   1,2,3 ; 
}
[f]=Simplification.MultiCover(P);
Print(f);

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