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 IsThresholdFunction List ToBinary binary binaryioset bool() ToNotFunction Dimacs FeedbackSystem list() Get Load logicvardef Minus One Or Print real() Realization To2LayerNor SOP SAT MaxSAT ToFeedbackSystem Compatibility BestVariableOrder StateTransition GetSubTable Zero

Search This Website :

 
Buy website traffic cheap