Пусть

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

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

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