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





IsEqual IsMonotonicFunction IsPositiveFunction IsSelfAntiDualFunction AndXor Binary GrayCode PureBinary ToDiagram ToTruthTable Diagram Dimacs Email long() Radixes RadixFromIndex Or Save ShortestInputsForDistinguishTwoStates Implementation Balanced GetPositiveLogicFunction GetSubTable RandomGenerate Utility ComputeFunctionOrder Normalization Substitute XORP Zero

搜索本網站 :

 
Buy website traffic cheap