Пусть имеются красные и белые шары на длинных и коротких нитках. Фраза «Выбран красный шар на длинной нитке» соответствует истинности выражения ...
(NOT(шар=белый)) AND (нитка=короткая)
(NOT(шар=белый)) OR (NOT(нитка=короткая))
(шар = красный) OR (NOT(нитка=короткая))
(шар = красный) AND (NOT(нитка=короткая))