XORP
Back to table
/*
LogicObject
XORP
[AndXor f]=XORP(inputindexes){ minterms; };
Define a XORP (Xor of product) combinatorial logic-object
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsInverse IsPositiveFunction BCDEx3 GrayCode binary AddXorTerm ToNotFunction Eq ExcitationTable FeedbackDiagram long() minterm RadixToIndex SAT ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables InputVariables Backwardly StateVariables Implementation Compatibility BestVariableOrder FastVerificationData ROBDD Shannon string() CreateFromLogicFunctions GetNegativeLogicFunction CreateDummyLogicFunction Zero