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
MatchLogicFunction IsInverse IsPositiveUnateFunctionTo IsSelfDualFunction IsSymmetricFunctionTo binary() MinValue Convert ToDiagram ToDualFunction DigitalSystem Email Equiv Count Nor MantissaToPositiveInteger To2LayerAndXor ToFullAnd Solve Save Simplification FullTable ShannonTree Balanced SimpleCover SimpleInner RandomGenerate ComputeDONTCARE var Zero