Analysis.IsInverse
Back to table
/*
Logic-Function-Analysis
Analysis.IsInverse
[bool result]=Analysis.IsInverse(LogicFunction f, LogicFunction g);
f : a logic function
g : a logic function
result : true | false
Check whether $f=Not(g)$.
See also the Anaylsis.IsEqual().
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsInverse(f,Not(f));
Print("IsInverse?", g);
//-------------------------------------------------------------------
// result
MatchLogicFunction IsInverse IsNegativeUnateFunctionTo IsParityFunction IsSelfDualFunction MaxValue BCDEx3 NineComplement ToShannonTree FeedbackDiagram Count logicvardef() long() Nor Print To2LayerOrAnd To2LayerNand ToFullAnd SAT MaxSAT StateVariables ToStateTransitionTable Fast Full MultiCover Shannon SemanticEval ShrinkLogicFunction var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.