Презентация, доклад по теме Логические преобразования

Содержание

Что нужно знать:1). Условные обозначения логических операций:¬ A, не A (отрицание, инверсия)A  B, A и B (логическое умножение, конъюнкция)A  B,

Слайд 1Тема: Преобразование логических выражений

Тема: Преобразование логических выражений

Слайд 2Что нужно знать:
1). Условные обозначения логических операций:

¬ A,

не A (отрицание, инверсия)

A  B, A и B (логическое умножение, конъюнкция)

A  B, A или B (логическое сложение, дизъюнкция)

A → B импликация (следование)

A ↔ B, эквиваленция (эквивалентность, равносильность)

А  В исключающее или (только одно из А или В)

А + В

А

В

А

В

А  В

Что нужно знать:1). Условные обозначения логических операций:¬ A,

Слайд 3Что нужно знать:
2). Таблицы истинности логических операций «И», «ИЛИ», «НЕ», «импликация»,

«эквиваленция», «исключающее ИЛИ»
Что нужно знать:2). Таблицы истинности логических операций «И», «ИЛИ», «НЕ», «импликация», «эквиваленция», «исключающее ИЛИ»

Слайд 4Что нужно знать:
3). Операцию «импликация» можно выразить через «ИЛИ» и «НЕ»:

A

→ B = ¬ A  B или в других обозначениях A → B =

4). Операцию «эквиваленция» также можно выразить через «ИЛИ» и «НЕ»:
A ↔ B = (¬ A  ¬ B)  (A  B) или в других обозначениях =

5). Законы исключающее «ИЛИ»
А  В = , А  В =

6). Если в выражении нет скобок, сначала выполняются все операции «НЕ», затем – «И», затем – «ИЛИ», и самая последняя – «импликация».

7). Логическое произведение A∙B∙C∙… равно 1 (выражение истинно) только тогда, когда все сомножители равны 1 (а в остальных случаях равно 0).

8). Логическая сумма A+B+C+… равна 0 (выражение ложно) только тогда, когда все слагаемые равны 0 (а в остальных случаях равна 1)

Что нужно знать:3). Операцию «импликация» можно выразить через «ИЛИ» и «НЕ»:A → B = ¬ A 

Слайд 5Правила преобразования логических выражений (законы алгебры логики):

Правила преобразования логических выражений (законы алгебры логики):

Слайд 6Сколько различных решений имеет система уравнений
(X2  X1)  (X2

 X3)  (¬X2 ¬ X3)= 1
(X3  X1)  (X3  X4)  (¬X3 ¬ X4)= 1
...
(X9  X1)  (X9  X10)  (¬X9 ¬ X10)= 1
X10  X1 = 0

где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений x1, x2, …, x10, при которых выполнена данная система равенств. В качестве ответа нужно указать количество таких наборов.

. Перепишем уравнения, используя более простые обозначения операций

...

Решение (табличный метод):

2). Заметим, что по свойству операции эквивалентности

поэтому уравнения можно переписать в виде

...

Сколько различных решений имеет система уравнений (X2  X1)  (X2  X3)  (¬X2 ¬ X3)=

Слайд 7...
3). По таблице истинности находим варианты

...3). По таблице истинности находим варианты

Слайд 84). Подключили Х4 – получили 8 решений, подключим X5 – получим

10 решений, X6 – получим 12 решений, X7 – получим 14 решений, X8 – получим 16 решений, X9 – получим 18 решений, X10 – получим 20 решений.

5). Остается одно последнее уравнение X10  X1 = 0, из которого следует, что X10 не равен X1, то есть из полученных 20 решений нужно отбросить 2 решения, таким образом, получается 20 – 2 = 18 решений

Ответ: 18 решений
4). Подключили Х4 – получили 8 решений, подключим X5 – получим 10 решений, X6 – получим 12

Слайд 9Сколько различных решений имеет система уравнений
(X1  X2)  (¬X1

 ¬X2)  (X1  X3) = 1
(X2  X3)  (¬X2  ¬X3)  (X2  X4) = 1
...
(X8  X9)  (¬X8  ¬X9)  (X8  X10) = 1
где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений x1, x2, …, x10, при которых выполнена данная система равенств. В качестве ответа нужно указать количество таких наборов.

. Перепишем уравнения, используя более простые обозначения операций

...

Решение (табличный метод):

2). Заметим, что по свойству операции эквивалентности


поэтому уравнения можно переписать в виде

...

Сколько различных решений имеет система уравнений (X1  X2)  (¬X1  ¬X2)  (X1  X3)

Слайд 10...
3). Будем решать уравнения последовательно табличным методом
4). Подключили Х4 – получили

8 решений, подключим X5 – получим 10 решений, X6 – получим 12 решений, X7 – получим 14 решений, X8 – получим 16 решений, X9 – получим 18 решений, X10 – получим 20 решений.
Ответ: 20 решений
...3). Будем решать уравнения последовательно табличным методом4). Подключили Х4 – получили 8 решений, подключим X5 – получим

Слайд 11. Перепишем уравнения, используя более простые обозначения операций
...
Решение (табличный метод):
2). Заметим,

что по свойству операции эквивалентности


поэтому уравнения можно переписать в виде

...

где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений x1, x2, …, x10, при которых выполнена данная система равенств. В качестве ответа вам нужно указать количество таких наборов.

Сколько различных решений имеет система уравнений

(X1  X2)  (X2  X10)  (¬X2 ¬ X10)= 1
(X2  X3)  (X3  X10)  (¬X3 ¬ X10)= 1
...
(X8  X9)  (X9  X10)  (¬X9 ¬ X10)= 1
X10  X1 = 0

. Перепишем уравнения, используя более простые обозначения операций...Решение (табличный метод):2). Заметим, что по свойству операции эквивалентности поэтому

Слайд 12...
3). По таблице истинности находим варианты

...3). По таблице истинности находим варианты

Слайд 134). Подключили Х3 – получили 8 решений, подключим X4 – получим

10 решений, X5 – получим 12 решений, X6 – получим 14 решений, X7 – получим 16 решений, X8 – получим 18 решений, X9 – получим 20 решений.

5). Остается одно последнее уравнение X10  X1 = 0, из которого следует, что X10 не равен X1, то есть из полученных 20 решений нужно отбросить 2 решения, таким образом, получается 20 – 2 = 18 решений

Ответ: 18 решений
4). Подключили Х3 – получили 8 решений, подключим X4 – получим 10 решений, X5 – получим 12

Слайд 14. Перепишем уравнения, используя более простые обозначения операций
...
Решение (табличный метод):
2). Заметим,

что


поэтому уравнения можно переписать в виде

...

где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений x1, x2, …, x10, при которых выполнена данная система равенств. В качестве ответа вам нужно указать количество таких наборов.

Сколько различных решений имеет система уравнений

¬(X1  X2)  (X1  X3)  (¬X1  ¬X3)= 0
¬(X2  X3)  (X2  X4)  (¬X2  ¬X4)= 0
...
¬(X8  X9)  (X8  X10)  (¬X8  ¬X10)= 0

. Перепишем уравнения, используя более простые обозначения операций...Решение (табличный метод):2). Заметим, что поэтому уравнения можно переписать в

Слайд 15...
3). По таблице истинности находим варианты
4). Подключили Х4 – получили 8

решений, подключим X5 – получим 10 решений,
X6 – получим 12 решений, X7 – получим 14 решений, X8 – получим 16 решений,
X9 – получим 18 решений, X10 – получим 20 решений.
Ответ: 20 решений
...3). По таблице истинности находим варианты4). Подключили Х4 – получили 8 решений, подключим X5 – получим 10

Слайд 16. Перепишем уравнения, используя более простые обозначения операций
...
Решение (табличный метод):
2). Раскроем

скобки и перепишем систему уравнений в виде

...

где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений x1, x2, …, x10, при которых выполнена данная система равенств. В качестве ответа вам нужно указать количество таких наборов.

Сколько различных решений имеет система уравнений

((X1  X2)  (X3  X4))  (¬(X1  X2)  ¬(X3  X4)) = 1
((X3  X4)  (X5  X6))  (¬(X3  X4)  ¬(X5  X6)) = 1

((X7  X8)  (X9  X10))  (¬(X7  X8)  ¬(X9  X10)) = 1

...

3). Используя закон исключающее «ИЛИ», перепишем систему уравнений в виде

. Перепишем уравнения, используя более простые обозначения операций...Решение (табличный метод):2). Раскроем скобки и перепишем систему уравнений в

Слайд 17...
4). По таблице истинности находим варианты
4). Количество переменных:
X4 – получили

8 решений, X6 – получили 16 решений, X8 – получим 32 решения, X10 – получим 64 решения.
Ответ: 64 решения
...4). По таблице истинности находим варианты4). Количество переменных: X4 – получили 8 решений, X6 – получили 16

Что такое shareslide.ru?

Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.


Для правообладателей

Яндекс.Метрика

Обратная связь

Email: Нажмите что бы посмотреть