Analysis.IsSymmetricFunctionTo
Back to table
/*
Logic-Function-Analysis
Analysis.IsSymmetricFunctionTo
[bool result]=Analysis.IsSymmetricFunctionTo(LogicFunction f, var() xy);
f : a logic function
xy : a pair of indexes of (x,y)
Check whether $f$ is symmetrixfunction to (x,y).
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsPositiveUnateFunctionTo(f, var(1));
Print("IsPositiveUnateFunctionTo?", g);
h=AndOr(){ 1,2,3; }
[g]=Analysis.IsPositiveUnateFunctionTo(h, var(1));
Print("IsPositiveUnateFunctionTo?", g);
//-------------------------------------------------------------------
// result
IsInverse IsLinearFunction IsMonotonicFunction IsOneFunction IsParityFunction IsSymmetricFunction MaxValue BCD BCDEx3 binaryioset ToOrAnd ToVariableInvertedFunction ToXORP DigitalSystem Eq long() Minus NumberSystem To2LayerNor To2LayerAndXor ToFeedbackSystem Fast MultiCover Shannon RandomGenerate AdjustLogicVariableCount Normalization ShannonExpansion ShrinkLogicFunction Zero