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
IsOneFunction IsSymmetricFunction BCD PureBinary binary binaryioset bool() ToAndXor ToROBDD ToVariableInvertedFunction FeedbackSystem logicvardef NumberSystem RadixFromIndex POS real() SOP ToFullAnd InputVariables Forwardly ToDigitalSystem Simplification BestVariableOrder DontCare SimpleInner StateTransition CreateFromLogicFunctions Normalization Xor Zero