Пусть
К = "Вазу разбил Коля", С = "Вазу разбил Серёжа".
Тогда фразу "Вазу разбил Серёжа, но не Коля" можно записать используя логические операции:

• \(C\wedge \bar{K}\)
• \(C\vee \bar{K}\)
• \(C \wedge K\)
• \(\bar{C} \wedge \bar{K}\)