XORP
Back to table
/*
LogicObject
XORP
[AndXor f]=XORP(inputindexes){ minterms; };
Define a XORP (Xor of product) combinatorial logic-object
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsPositiveUnateFunctionTo And ToAndOr List MaxValue MinValue ToBinary binary bool() ToVariableInvertedFunction Dimacs Equiv FeedbackDiagram Count logicvardef() Nand Not RadixFromIndex Or MaxSAT ShortestInputsForTransition CreateCompactTable SimpleInner StateTransition AdjustLogicVariableCount ComputeDONTCARE IndependentBase Normalization Zero