Лекция 3-4 (копия)

1. Булева алгебра. Алгебра логики

Морозов Артём Михайлович
artem5artem@icloud.com

2. Что общего у TikTok, холодильника и ракеты?

Что их объединяет?

3.

Готфрид Лейбниц — мечта
о машине рассуждений
Джордж Буль — Законы мысли
(1854)

4. Таблица истинности: базовые операции булевой алгебры»

A
B
NOT A A AND B A OR B A → B
(¬A) (A∧B) (A∨B) (импликация)
A⊕B
(XOR)
0
0
1
0
0
1
0
0
1
1
0
1
1
1
1
0
0
0
1
0
1
1
1
0
1
1
1
0
•¬A (НЕ A)
•A ∧ B (И)
•A ∨ B (ИЛИ)
•A → B
(ЕСЛИ… ТО)
•A ⊕ B
(Исключающ
ее ИЛИ, XOR)

5. Простые и сложные высказывания

Сложные высказывания строятся из простых с помощью логических
операций
Простое: «На
улице солнечно»