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