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
IsPositiveFunction IsSymmetricFunctionTo IsThresholdFunction AndOr binaryioset AddXorTerm ToNotFunction ToPOS ToSOP ToVariableInvertedFunction ToXORP DigitalSystem Dimacs Imply Count long() Minus PositiveNumberToMantissa object() Assign InputVariables StateVariables Compatibility DontCare SimpleInner TimingChart GetDontCareLogicFunction var() var Zero