Analysis.IsCovering


Back to table

/*
Logic-Function-Analysis
Analysis.IsCovering

[bool result]=Analysis.IsCovering(LogicFunction f, LogicFunction g);

f : a logic function
g : a logic function
result : true | false

Check whether $f \ge g$, where $Not(f) \cdot g = 0$ or $f + Not(g) = 1$.


*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
	1;2;3;
}
[g1]=Analysis.IsCovering(f,And(2,-3));
[g2]=Analysis.IsCovering(f,And(-1,2,-3));
Print(f,g1,g2);

//-------------------------------------------------------------------
// result





IsNegativeUnateFunctionTo IsOneFunction IsZeroFunction AndXor BDD BCDEx3 BinaryNumberToString bool() ToROBDD ToShannonTree ToXORP Diagram Dimacs Equiv Load minterm MantissaToPositiveDecimal Forwardly StateTransitionBasedly ToStateTransitionTable FastVerificationData Canonical Full TimingChart TruthTable CreateFromLogicFunctions GetNegativeLogicFunction ComputeFunctionOrder Normalization Zero

Search This Website :

 
Buy website traffic cheap