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
Advanced PermuteLogicFunction IsInverse IsPositiveUnateFunctionTo PureBinary ToOrAnd ToVariableInvertedFunction Eq logicvardef long() minterm() RadixToIndex One real To2LayerOrAnd To2LayerAndXor ToFullAnd Save Assign OutputAndStateBasedly CreateCompactTable Compatibility HuffmanMealy BestVariableOrder string() GetNegativeLogicFunction GetSubTable Utility ComputeDONTCARE Zero