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
Analysis IsMonotonicFunction MaxValue PureBinary bool() ToPOS ToShannonTree ToTruthTable Get minterm Nand NumberSystem LeastSignificantDigit MantissaToPositiveNumber OrAnd Realization To2LayerNor To2LayerAndXor Sequential StateVariables ToStateTransitionTable To2layerOrAnd Simplification ShannonTree ROBDD MultiCover Shannon IndependentBase Substitute Zero