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
IsBiUnateFunctionTo IsEqual IsLinearFunction IsThresholdFunction IsUnateFunction FromBinary List MaxValue BCDEx3 PureBinary ToAndXor ExcitationTable Imply LogicScript minterm() Nand object() Or PermutationMatrix AutoAssignInputAndStateVariables ToFeedbackSystem BestVariableOrder Canonical string() GetPositiveLogicFunction EnlargeLogicFunction Normalization Substitute var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.