Пусть А = «Ане нравятся уроки математики», а В = «Ане нравятся уроки химии». Выразите следующие формулы на обычном языке: 1)А&В;

2)А&Б;

3)А&В;

5)AvB;

6) A v В;

7)(А&Б);

8)(АУД);

9)(А&В).

Давайте разберем, как выразить логические формулы на обычном языке. Пусть:

• A обозначает «Ане нравятся уроки математики».
• B обозначает «Ане нравятся уроки химии».

Теперь переведем каждую формулу на естественный язык.

1. A & B — «Ане нравятся уроки математики и уроки химии». Это означает, что оба утверждения верны одновременно: Аня любит и математику, и химию.

2. A & Б — В данном случае, если Б предполагается как третье утверждение (например, «Ане нравятся уроки физики»), то A & Б означает «Ане нравятся уроки математики и уроки физики».

3. A & В — Здесь снова повторяется первое выражение: «Ане нравятся уроки математики и уроки химии».

4. A v B — «Ане нравятся уроки математики или уроки химии». В этом случае хотя бы одно из утверждений верно: Ане может нравиться либо математика, либо химия, либо обе дисциплины.

5. A v В — Повтор предыдущего выражения: «Ане нравятся уроки математики или уроки химии».

6. (A & Б) — «Ане нравятся уроки математики и уроки физики» (если Б — физика). Круглые скобки здесь не изменяют смысл, так как логическая операция уже указана.

7. (A ∨ Б) — «Ане нравятся уроки математики или уроки физики» (если Б — физика). Здесь скобки указывают, что хотя бы одно из утверждений должно быть верным.

8. (A & В) — «Ане нравятся уроки математики и уроки химии».