It is shown that the number of maximal false vertices and minimal true vertices is the minimum number of tests required to detect all s-a-1 and s-a-0 faults in any irredundant two-level realization of a 2-monotonic function.
No takes yet. Share an insight, caveat, or question.
R. Dandapani (1973) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: