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
IsInverse IsLinearFunction IsPositiveFunction IsSymmetricFunction IsSymmetricFunctionTo AndXor FromBinary List BCD bool() ToShannonTree ToXORP Diagram Email Imply minterm Nand Not PositiveIntegerToMantissa Or PermutationMatrix real SAT Solve TransitionSeries InputVariables Forwardly GetSubTable ShrinkLogicFunction Zero