Analysis.IsSelfDualFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsSelfDualFunction
[bool result]=Analysis.IsSelfDualFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is self-dual logic function, $f=f^{D}$.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsSelfDualFunction(f);
Print("IsSelfDualFunction?", g);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsLinearFunction IsSelfAntiDualFunction AndOr AbsoluteExpression FromBinary ToBinary BCDEx3 binaryioset ToDiagram Eq Nor LeastSignificantDigit MantissaToPositiveDecimal MostSignificantDigit object() Print Save Sequential Forwardly Implementation FullTable ROBDD Canonical SimpleInner ComputeFunctionOrder CreateDummyLogicFunction SemanticEval XORP Zero