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

Search This Website :

 
Buy website traffic cheap