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