Xor
Back to table
/*
Logic-Function-Analysis
Xor
[LogicFunction g]=Xor(LogicFunction F1, ...);
F1 : a list of logic function
g : a logic function
Compute the XOR operator: g=Xor(F1,F2,...).
From the definition of the operator XOR, it only allows two inputs. At here, we allow the operator recursively act upon all the inputs.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }
f=Xor(P,Q);
Print(P,Q,f);
//-------------------------------------------------------------------
// result
            
                
                
                
                
                
                
                
                
                
                
                
                
                
                
             
            
            
            
            
            
IsEqual IsInverse IsLinearFunction IsPositiveFunction IsSelfDualFunction Binary AbsoluteExpression List PureBinary binary Diagram Dimacs Imply Load logicvardef MantissaToPositiveInteger MostSignificantDigit SOP ToFullAnd OutputAndStateBasedly GetExcitationTable Simplification ROBDD Full SimpleInner Utility AdjustLogicVariableCount ComputeDONTCARE CreateDummyLogicFunction Zero