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
IsBlankFunction AndOr AndXor FromBinary List MinValue OneComplement StringToBinaryNumber Convert ToOrAnd ToPOS ToSOP DigitalSystem Email Radixes ToFullAnd Sequential Forwardly CreateCompactTable ShannonTree ROBDD Full StateDeviceName string Utility EnlargeLogicFunction Normalization var() XORP Zero