Zaryzykuję odpowiedź...

> domyślam się, że coś takiego nie da się zrobić:
> 0001
> 0010
> 0100
> 1000

Takie coś *należy* zrobić, żeby przetestować ORa na 4 zmiennych, np.:

x = a||b||c||d;

To się nazywa "wędrująca jedynka" i jeszcze jak dołożysz do tego test z samymi
zerami:

0000

to w sumie masz pełne pokrycie MC/CD tego wyrażenia, czyli demonstrację, że każda
zmienna jest tam do czegoś potrzebna.

Analogicznie, w przypadku ANDa robi się "wędrujące zero" plus test z samymi
jedynkami.

Natomiast w bardziej złożonych wyrażeniach to nie wystarczy a jak zmienne są jakoś ze
sobą powiązane (np. wcześniejszymi wyrażeniami), to może się okazać, że pewnych
stanów w ogóle nie da się pokazać. I teraz pytanie, czy da się takie defekty wykryć.

> a w ogóle to taki testowacz to ma jakiś dostęp do (jaśnie) formuły
> (optymalnej)?

Co to jest formuła optymalna?
W takim testowaniu testowacz ma dostęp do kodu.

--
Maciej Sobczak * http://www.inspirel.com