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

Search This Website :

 
Buy website traffic cheap