Analysis.IsSelfAntiDualFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsSelfAntiDualFunction
[bool result]=Analysis.IsSelfAntiDualFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether f is self-anti-dual logic function, $f=\not{f^{D}}$.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsSelfAntiDualFunction(f);
Print("IsSelfAntiDualFunction?", g);
//-------------------------------------------------------------------
// result
PermuteLogicFunction Analysis IsCovering IsLinearFunction IsOneFunction IsParityFunction IsSelfAntiDualFunction Binary MaxValue MinValue ToBinary ToDualFunction logicvardef LeastSignificantDigit MostSignificantDigit RadixToIndex One PermutationMatrix Realization Assign ToFeedbackSystem Canonical DontCare MultiCover StateDeviceName string GetPositiveLogicFunction SemanticEval Xor Zero