Such a constraint means that it is not possible for all A1,...,An to be true and at the same time all of B1,...,Bm to be false.
Таква ограничење значе да није могуће за све А1, ..., Аn да буду  истинита и истовремено све B1, ..., Bm да је лажна.