Dowolna większa od jedności liczba procesów oczekuje na spełnienie warunków, które nie mogą zostać spełnione

Co najmniej dwa procesy oczekują na spełnienie warunków, które nie mogą zostać spełnione

Dowolna większa od zera liczba procesów oczekuje na spełnienie warunków, które nie mogą zostać spełnione

Dokładnie dwa procesy oczekują na spełnienie warunków,  które nie mogą zostać spełnione