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

Фразу "Вазу разбил Серёжа, но не Коля" можно записать в виде логического выражения: "C ∧ ¬K". Это означает, что условие выполняется, если утверждение "Серёжа разбил вазу" истинно и одновременно утверждение "Коля разбил вазу" ложно.