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
IsZeroFunction ToAndOr Binary BCD GrayCode StringToBinaryNumber ToDiagram ToPOS ToROBDD ToVariableInvertedFunction ToXORP minterm Nand object() One To2LayerOrAnd Save Assign OutputAndStateBasedly StateTransitionBasedly ToFeedbackSystem FastVerificationData GetPositiveLogicFunction AdjustLogicVariableCount EnlargeLogicFunction IndependentBase Normalization SemanticEval XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.