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
IsBiUnateFunction IsInverse IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo ToAndOr OneComplement PureBinary StringToBinaryNumber TwoComplement binaryioset ToOrAnd ToSOP ToTruthTable Diagram Email Imply Get LogicScript long Nor PermutationMatrix SOP To2LayerNand Implementation SimpleCover string() Utility ComputeFunctionOrder Substitute Zero