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 IsParityFunction IsPositiveUnateFunctionTo IsThresholdFunction IsZeroFunction BDD Binary AbsoluteExpression ToBinary PureBinary ToAndXor ToROBDD DigitalSystem Get PositiveDecimalToMantissa RadixToIndex object() real() Realization SOP Save ShortestInputsForTransition OutputAndStateBasedly CreateCompactTable Implementation FastVerificationData GetNegativeLogicFunction RandomGenerate EnlargeLogicFunction Zero