Simplification.DontCare

---

Back to table

/*
Logic-Function-Analysis
Simplification.DontCare

[LogicFunction g]=Simplification.DontCare(LogicFunction f, LogicFunction dontCare);

f : a logic function
dontCare : a logic function as a DONTCARE function.
g : a logic function may in the simpler form

Simplify a logic function with a DONTCARE.

*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 
   -1,2,-3 ; 
   1,-2,3 ; 
}
PNOT=AndOr()
{
   1,2,3 ;
   -1,-2,-3 ;
}
Print(And(P,PNOT));
[Q]=Utility.ComputeDONTCARE(P,PNOT);

[f]=Simplification.DontCare(P,Q);
Print(P,PNOT,Q);
Print("DONTCARE simplification of (P,Q)=>",f);
Print("Does f covers P=>",Analysis.IsCovering(f,P));

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