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

搜索本網站 :

 
Buy website traffic cheap