Minus
Back to table
/*
Logic-Function-Analysis
Minus
[LogicFunction g]=Minus(LogicFunction F1, LogicFunction F2);
F1 : a logic function
F2 : a logic function
g : a logic function
Compute the MINUS operator: g=Minus(F1,F2). $F1-F1*F2=F1 x Not(F2)$.
In the LogicScript, we define it as, if F1 but not F1*F2.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }
f=Minus(P,Q);
Print(P,Q,f);
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsNegativeUnateFunctionTo Convert ToAndXor ToPOS ExcitationTable long Nor Not MantissaToPositiveNumber RadixToIndex object() Or To2LayerAndOr Forwardly CreateCompactTableWithFullSimplification ShannonTree ROBDD Full MultiCover StateTransition string() TimingChart ComputeDONTCARE ComputeFunctionOrder CreateDummyLogicFunction EnlargeLogicFunction Normalization var Zero