Алгебра логики

Не можете убедить родителей, потому что в ваших аргументах не хватает логики? Самое время это исправить!

🤔 Что это вообще такое?

Это наука о высказываниях. Высказывание — это предложение, про которое можно однозначно сказать: ИСТИНА (1) или ЛОЖЬ (0). Кстати, 1 и 0 — это не числа. Просто нам лень много писать, поэтому мы любим сокращать, верно?

Несколько примеров высказываний:
«Земля вращается вокруг Солнца» — истина (1).
«Зимой в России может пойти снег» — истина (1).
«Я люблю много писать в тетради на уроках» — чаще всего ложь (0). 😅

Кстати, ещё в Древней Греции Аристотель придумал основы логики, а Джордж Буль в XIX веке превратил логику в алгебру. А потом Клод Шеннон догадался, что на этих правилах можно построить компьютеры! Так что твой смартфон — это просто куча «да» и «нет», которые «бегают» по микросхемам.

⚙️ Главные логические операции (на примере домашних дел):

1️⃣ Конъюнкция (И, &, ∧, ×) — логическое умножение.
Чтобы пойти гулять, тебе нужно: сделать уроки И помыть посуду. Если хоть что-то не сделано — гулять не пойдёшь. Истина только тогда, когда ВСЁ истинно!

2️⃣ Дизъюнкция (ИЛИ, |, V, +) — логическое сложение.
Ты выиграешь катку, если у тебя быстрый интернет ИЛИ прямые руки (1). Ну а если и то, и другое — то уж точно (1)! Если нет ни того, ни другого — увы, это ложь (0), и ты идешь читать учебник по информатике.

3️⃣ Инверсия (НЕ A, ¬A, Ā) — логическое отрицание.
Это как зеркало. Ты поднимаешь правую руку (1), а отражение поднимает левую (0). Это не поменяло смысл, оно просто сделало его противоположным.

А еще есть Импликация и Эквивалентность — это как боссы в игре, но их мы тоже скоро пройдем!

🚀 Зачем это нужно?
Алгебра логики лежит в основе программирования. Хочешь написать игру, собрать робота или просто настроить умную лампочку в комнате? Тебе придется объяснить технике, что делать, используя эти правила.

Философский вопрос: «Это высказывание является ложным» — это высказывание?