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
AndOr Binary ToBinary BinaryNumberToString Convert ToAndXor ToNotFunction ToTruthTable DigitalSystem Dimacs Eq ExcitationTable Imply logicvardef Minus MantissaToPositiveNumber PositiveDecimalToMantissa object PermutationMatrix Print To2LayerNor BestVariableOrder Full Shannon SimpleCover GetSubTable RandomGenerate Normalization var() Zero