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 IsLinearFunction IsSelfAntiDualFunction IsSelfDualFunction AndXor BCD AddXorTerm ToSOP DiagramGateName Equiv NumberSystem RadixFromIndex OrAnd POS To2LayerOrAnd ToFullAnd Sequential Assign ToStateTransitionTable GetExcitationTable Simplification HuffmanMealy ShannonTree BestVariableOrder Fast SimpleCover SimpleInner StateDeviceName CreateDummyLogicFunction Zero