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
Advanced MatchLogicFunction PermuteLogicFunction IsEqual IsNegativeUnateFunctionTo IsSelfDualFunction IsUnateFunctionTo MaxValue MinValue GrayCode ToOrAnd ExcitationTable FeedbackSystem Load Minus RadixToIndex PermutationMatrix To2LayerAndOr ToFullAnd OutputAndStateBasedly ToFeedbackSystem Simplification BestVariableOrder SimpleInner string AdjustLogicVariableCount IndependentBase Normalization XORP Zero