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
PermuteLogicFunction IsBlankFunction IsCovering IsLinearFunction IsMonotonicFunction IsPositiveFunction AndOr AndXor FromBinary BCDEx3 ToNotFunction ToPOS ToVariableInvertedFunction Imply MantissaToPositiveDecimal PositiveNumberToMantissa PermutationMatrix Print real() Realization ToFullAnd MaxSAT ShortestInputsForDistinguishTwoStates Compatibility ROBDD GetNegativeLogicFunction Normalization Substitute var Zero