Пусть
К = "Вазу разбил Коля", С = "Вазу разбил Серёжа".
Тогда фразу "Вазу разбил Серёжа, но не Коля" можно записать используя логические операции:
\(C\wedge \bar{K}\)
\(C\vee \bar{K}\)
\(C \wedge K\)
\(\bar{C} \wedge \bar{K}\)