Analysis.IsParityFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsParityFunction
[bool result]=Analysis.IsParityFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is a parity function.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[h]=AndXor()
{
ONE;1;2;3;
}
[g]=Analysis.IsParityFunction(f);
Print("IsParityFunction?", g);
[g]=Analysis.IsParityFunction(h);
Print("IsParityFunction?", g);
//-------------------------------------------------------------------
// result
IsParityFunction IsPositiveUnateFunctionTo IsSymmetricFunction IsThresholdFunction BDD ToAndOr MaxValue OneComplement ToNotFunction ToROBDD ToShannonTree Diagram Load RadixFromIndex RadixToIndex Or SAT MaxSAT ShortestInputsForDistinguishTwoStates TransitionSeries Simplification FastVerificationData DontCare GetDontCareLogicFunction GetNegativeLogicFunction RandomGenerate Normalization SemanticEval Xor Zero