Логические операции

Алгебра логики
Алгебра логики — это раздел математической логики, значение всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1.
1 – истина, 0 - ложь
Алгебра логики оперирует с логическими высказываниями, каждое из которых обозначается латинской буквой.
[email protected]

Отрицание (инверсия)
[email protected]
А
НЕ А
в естественном языке соответствует союзу не;
в алгебре высказываний обозначение ⎤;
в языках программирования обозначение not.

КОНЪЮНКЦИЯ (логическое умножение)
в естественном языке соответствует союзу и;
в алгебре высказываний обозначение &, ∧;
в языках программирования обозначение And.
[email protected]
А
В
и

ДИЗЪЮНКЦИЯ (логическое сложение)
в естественном языке соответствует союзу или;
обозначение v ;
в языках программирования обозначение Or.
[email protected]
А
В
или

ИМПЛИКАЦИЯ (логическое следование)
в естественном языке соответствует обороту если ..., то ...;
обозначение →
В программировании If…Then…
[email protected]

ЭКВИВАЛЕНЦИЯ (равнозначность)
в естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае;
обозначения ~, <=>
В языках программирования =.
[email protected]

Порядок выполнения операций
1. Отрицание (инверсия)¬
2. Конъюнкция (логическое умножение)Λ
3. Дизъюнкция (логическое сложение)ⅴ
4. Импликация (логическое следование)→
5. Эквиваленция (равнозначность)<=>
[email protected]

Задания
1. Формализуйте предостережение, которое одна жительница древних Афин сделала своему сыну, собиравшемуся заняться политической деятельностью: “Если ты будешь говорить правду, то тебя возненавидят люди. Если ты будешь лгать, то тебя возненавидят боги. Но ты должен говорить правду или лгать. Значит, тебя возненавидят люди или возненавидят боги”.
Формализуйте также ответ сына: “Если я буду говорить правду, то боги будут любить меня. Если я буду лгать, то люди будут любить меня. Но я должен говорить правду или лгать. Значит, меня будут любить боги или меня будут любить люди”.
[email protected]

Задания
2. Пусть А = “это утро ясное”, а В = “это утро теплое”. Выразите следующие формулы на обычном языке:
[email protected]