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
            
                
                
                
                
                
                
                
                
                
                
                
                
                
                
             
            
            
            
            
            
IsPositiveUnateFunctionTo IsUnateFunctionTo List NineComplement AddXorTerm ToSOP Equiv list() Load LogicScript Radixes RadixToIndex object() PermutationMatrix real To2LayerNor To2LayerOrAnd SAT StateTransitionBasedly CreateCompactTable CreateCompactTableWithFullSimplification GetExcitationTable BestVariableOrder GetDontCareLogicFunction Utility ComputeFunctionOrder CreateDummyLogicFunction SemanticEval XORP Zero