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
IsBlankFunction IsCovering IsEqual IsOneFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction ToAndOr MinValue Convert ToOrAnd ToSOP ToXORP Dimacs FeedbackSystem long NumberSystem LeastSignificantDigit MantissaToPositiveDecimal To2LayerOrAnd SOP To2LayerAndXor Sequential ShortestInputsForDistinguishTwoStates InputVariables ToFeedbackSystem Simplification ROBDD StateTransition ShrinkLogicFunction Zero