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 IsCovering IsInverse And BinaryNumberToString OneComplement PureBinary TwoComplement ToDiagram ToDualFunction minterm() Not MantissaToPositiveDecimal Or OrAnd real Realization SAT Sequential ShortestInputsForTransition TransitionSeries BestVariableOrder FastVerificationData MultiCover SimpleInner string() TruthTable GetNegativeLogicFunction Substitute Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.