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 IsParityFunction IsUnateFunctionTo GrayCode ToOrAnd ToDualFunction ToXORP DigitalSystem Dimacs FeedbackDiagram Count Load Not MantissaToPositiveNumber object One OrAnd To2LayerAndOr TransitionSeries StateTransitionBasedly Compatibility BestVariableOrder Fast DontCare string() TruthTable ComputeFunctionOrder Normalization XORP Zero