Wykrywanie w postaci analitycznej:
y = (A + x) • (B + ~x) • C,
jeśli A=B=0 i C=1 to może wystąpić hazard „krótka jedynka” (niespełnienie warunku x • ~x =0).
Eliminacja - funkcję mnożymy przez człon A + B (nie zmienia jej wartości)