Simplification.SimpleInner

---

Back to table

/*
Logic-Function-Analysis
Simplification.SimpleInner

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

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

Simplify a logic function with the simple-inner algorithm.

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

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