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
Advanced PermuteLogicFunction IsBiUnateFunctionTo IsCovering IsSymmetricFunction AndOr MaxValue binary ToSOP DigitalSystem Eq long() minterm() Nand PositiveIntegerToMantissa PositiveNumberToMantissa object Or To2LayerAndXor ToFullAnd Solve CreateCompactTable CreateCompactTableWithFullSimplification Compatibility Balanced BestVariableOrder Fast SimpleCover Normalization Zero