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 PermuteLogicFunction IsBiUnateFunctionTo IsPositiveFunction And binary() OneComplement PureBinary binaryioset() Dimacs Email Eq FeedbackDiagram list() Count logicvardef() Not PositiveIntegerToMantissa Solve Sequential CreateCompactTable BestVariableOrder string() string AdjustLogicVariableCount ComputeDONTCARE EnlargeLogicFunction var XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.