Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
АЛГЕБРА ЛОГИКИ
Содержание
- 1. АЛГЕБРА ЛОГИКИ
- 2. 1. Основные понятия булевой алгебрывысказыванияНа улице идет
- 3. Отрицание не-┌Конъюнкция Дизъюнкция Импликация Эквивалентность и∧&∨если …
- 4. Основные законы булевой алгебры алгебра логики классическая
- 5. алгебра логики классическая арифметика 4. закон дистрибутивности
- 6. 2. Алгебра булевых функцийF(A,B,...)=импликация эквивалентность базис
- 7. 13432A→B = A ∨ B1234A~B = (A
- 8. Пример 1:124321Пример 2:1230000
- 9. Пример 3:12Всего: 23 = 82 арг: 4
- 10. Пример 4:12Всего: 23 = 82 арг: 4
- 11. 3. ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ В ПРОГРАММИРОВАНИИа) условия сравненияy не равно 6?z меньше 37?x больше y?ответыистиналожь
- 12. Переменная делится нацело на 6?x является четным
- 13. ЛИТЕРАТУРА:Алгебра логики и цифровые компьютеры [Электронный ресурс].
- 14. Скачать презентанцию
1. Основные понятия булевой алгебрывысказыванияНа улице идет дождь.Число 5 больше 4.Значение переменной а больше 0.истинноложнологические переменные (булевские)АВС10xх1х2
Слайды и текст этой презентации
Слайд 1АЛГЕБРА ЛОГИКИ
Основные понятия булевой алгебры.
Алгебра булевых функций.
Логические выражения в программировании.
Слайд 3Отрицание
не
-
┌
Конъюнкция
Дизъюнкция
Импликация
Эквивалентность
и
∧
&
∨
если … то …
→
~
Основные логические
операции
или
22 = 4
4 : 2 = 2
Слайд 4Основные законы булевой алгебры
алгебра логики
классическая арифметика
1. Закон
двойного отрицания:
A = A
2. Закон коммутативности (перестановка аргументов):
A ∨ B = B ∨ A
A ∧ B = B ∧ A
3. Закон ассоциативности (порядок вычислений):
A ∨ (B ∨ C) = (A ∨ B) ∨ C
A ∧ (B ∧ C) = (A ∧ B) ∧ C
Слайд 5алгебра логики
классическая арифметика
4. закон дистрибутивности (раскрытия скобок):
A
∨(B ∧C) = (A ∨ B) ∧ (A ∨ C)
A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)
5. Правила де Моргана:
A ∨ B = A ∧ B
A ∧ B = A ∨ B
6. Правила операций с константами 0 и 1:
0 = 1,
A ∨ 0 = A,
A ∧1 = A,
7. Правила операций с переменной и её инверсией:
A ∨ A = 1
A ∧ A = 0
A ∨ 1 = 1
1 = 0
A ∧ 0 = 0
Слайд 71
3
4
3
2
A→B = A ∨ B
1
2
3
4
A~B = (A ∧ B) ∨
(A ∧ B)
1
6
5
7
Всего: 22 = 4
1 арг: 4 :
2 = 2А
В
3с ∨ 2с
0
0
1
1
0
0
1
1
1
1
0
0
1
1
0
1
1
2
2 арг: 2 : 2 = 1
2
4
5
Слайд 9Пример 3:
1
2
Всего: 23 = 8
2 арг: 4 : 2 =
2
3 арг: 2 : 2 = 1
1 арг: 8 :
2 = 4А
В
0
0
0
0
0
1
0
1
1с ∨ 2с
0
0
1
1
4с → 3с
4
3
2
1
1
1
1
1
0
1
0
1
С
0
0
1
1
0
0
1
1
1
1
1
1
5
1
1
0
1
0
1
0
1
Слайд 10Пример 4:
1
2
Всего: 23 = 8
2 арг: 4 : 2 =
2
3 арг: 2 : 2 = 1
1 арг: 8 :
2 = 4А
В
0
0
0
0
0
1
0
1
2с ∧ 3с
4
3
2
1
1
1
1
1
0
1
0
1
С
0
0
1
1
0
0
1
1
5
0
0
0
1
0
0
0
1
6
4с ∨ 6с
7
1
1
1
1
1
1
1
0
1с ~ 3с
8
1
0
1
0
0
1
0
1
7с → 8с
9
1
0
1
0
0
1
0
1
3
5
6
7
1с
1
1
1
1
0
0
0
0
5с
1
1
1
0
1
1
1
0
Слайд 113. ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ В ПРОГРАММИРОВАНИИ
а) условия сравнения
y не равно 6?
z
меньше 37?
x больше y?
ответы
истина
ложь
Слайд 12Переменная делится нацело на 6?
x является четным числом?
б) условия действия
y
является частью множества Z?
с) условия перебора значений
Переменная примет значение 1,
2, …, n? 
Слайд 13ЛИТЕРАТУРА:
Алгебра логики и цифровые компьютеры [Электронный ресурс]. – Режим доступа:
http://buchavip.narod.ru
Булевы высказывания [Электронный ресурс]. – Режим доступа: http://psi-logic.narod.ru
![ЛИТЕРАТУРА:Алгебра логики и цифровые компьютеры [Электронный ресурс]. – Режим доступа: http://buchavip.narod.ruБулевы высказывания [Электронный ресурс]. – Режим доступа:](/img/thumbs/1224416e74a8ec0666d2443686675377-800x.jpg "АЛГЕБРА ЛОГИКИ ЛИТЕРАТУРА:Алгебра логики и цифровые компьютеры [Электронный ресурс]. – Режим доступа: http://buchavip.narod.ruБулевы")
