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
PermuteLogicFunction Analysis IsBiUnateFunction IsLinearFunction IsOneFunction IsSymmetricFunctionTo ToBinary NineComplement PureBinary AddXorTerm Count logicvardef Not Radixes To2LayerOrAnd ToFullAnd Save ShortestInputsForTransition Assign StateTransitionBasedly ToFeedbackSystem GetExcitationTable BestVariableOrder SimpleInner StateTransition string GetPositiveLogicFunction IndependentBase SemanticEval Zero