Analysis.IsSymmetricFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsSymmetricFunction
[bool result]=Analysis.IsSymmetricFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is a symmetric function.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsSymmetricFunction(f);
Print("IsSymmetricFunction?", g);
//-------------------------------------------------------------------
// result
Advanced IsBlankFunction IsZeroFunction And binary() Binary AbsoluteExpression PureBinary TwoComplement binary binaryioset() ToROBDD ToSOP ToXORP Dimacs logicvardef PositiveNumberToMantissa RadixToIndex Or To2LayerAndOr Solve To2layerOrAnd FullTable HuffmanMealy Fast FastVerificationData TimingChart GetSubTable CreateDummyLogicFunction Zero