Пусть

К = "Вазу разбил Коля", С = "Вазу разбил Серёжа".

Тогда фразу "Вазу разбил Серёжа, но не Коля" можно формализовать:

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