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 IsBlankFunction IsOneFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSymmetricFunction AndOr BCD BCDEx3 GrayCode Convert ToDualFunction ToShannonTree Diagram list() minterm Minus Not NumberSystem RadixFromIndex PermutationMatrix SAT AutoAssignInputAndStateVariables StateTransitionBasedly GetExcitationTable Canonical DontCare SimpleInner EnlargeLogicFunction Zero