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
IsCovering IsLinearFunction IsNegativeUnateFunctionTo IsSelfDualFunction GrayCode OneComplement ToOrAnd AddXorTerm ToShannonTree ToVariableInvertedFunction DigitalSystem Eq FeedbackSystem logicvardef long minterm() Nand Radixes To2LayerAndXor Solve CreateCompactTable CreateCompactTableWithFullSimplification To2layerOrAnd string TruthTable CreateFromLogicFunctions GetDontCareLogicFunction GetNegativeLogicFunction Substitute Zero