Алгебра логики
<<  Алгебра логики Алгебра логики  >>
Алгебра логики
Алгебра логики
Логическое высказывание — это любое повествовательное пpедлoжение, в
Логическое высказывание — это любое повествовательное пpедлoжение, в
Упражнение: 1. Установите, какие из следующих предложений являются
Упражнение: 1. Установите, какие из следующих предложений являются
“не”, “и”, “или” – логические связки “Петров - врач”, “Петров -
“не”, “и”, “или” – логические связки “Петров - врач”, “Петров -
Алгебра логики — это математический аппарат, с помощью которого
Алгебра логики — это математический аппарат, с помощью которого
Логические операции: Операция, выражаемая словом “не”, называется
Логические операции: Операция, выражаемая словом “не”, называется
Логические операции: 3. Операция, выражаемая связкой “или”, называется
Логические операции: 3. Операция, выражаемая связкой “или”, называется
Пример №1
Пример №1
Пример №2
Пример №2
Пример №3 Постройте таблицу истинности для логических формул:
Пример №3 Постройте таблицу истинности для логических формул:
Пример №4 Постройте таблицу истинности для логических формул:
Пример №4 Постройте таблицу истинности для логических формул:
Домашнее задание: Лекция
Домашнее задание: Лекция

Презентация на тему: «Алгебра логики». Автор: Administrator. Файл: «Алгебра логики.ppt». Размер zip-архива: 145 КБ.

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

содержание презентации «Алгебра логики.ppt»
СлайдТекст
1 Алгебра логики

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

06.12.2007г.

10.08.2015

1

2 Логическое высказывание — это любое повествовательное пpедлoжение, в

Логическое высказывание — это любое повествовательное пpедлoжение, в

oтнoшении кoтopoгo можно oднoзначнo сказать, истинно oнo или лoжнo. Пример: “6 — четное число” - это истинное высказывание. “Рим — столица Франции” - ложное высказывание. “площадь поверхности Индийского океана равна 75 млн. кв. км.” Ложное – т.к. неточное и не постоянное. Истинное – т.к. приближенное на практике.

10.08.2015

2

3 Упражнение: 1. Установите, какие из следующих предложений являются

Упражнение: 1. Установите, какие из следующих предложений являются

логическими высказываниями, а какие — нет (объясните почему): а) “Солнце есть спутник Земли”; б) “2+3*4”; в) “сегодня отличная погода”; г) “в романе Л.Н. Толстого “Война и мир” 3 432 536 слов”. 2. Приведите примеры истинных и ложных высказываний: а) из арифметики; б) из информатики.

10.08.2015

3

4 “не”, “и”, “или” – логические связки “Петров - врач”, “Петров -

“не”, “и”, “или” – логические связки “Петров - врач”, “Петров -

шахматист” “Петров – врач и шахматист” т.е. “Петров – врач, хорошо играющий в шахматы”. “Петров – врач или шахматист” т.е. “Петров или врач, или шахматист, или и врач и шахматист одновременно”.

10.08.2015

4

5 Алгебра логики — это математический аппарат, с помощью которого

Алгебра логики — это математический аппарат, с помощью которого

записывают, вычисляют, упрощают и преобразовывают логические высказывания. Логическая переменная в алгебре логики – это логическое высказывание, которое может принимать одно из двух возможных значений, логическую "1" (TRUE) и логический "0" (FALSE) (обозначают: A, B, C, D,...) Логическая функция - это функция логических переменных, которая может принимать только два значения : 0 или 1. Значения логических функций записываются в виде таблицы истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных (=2n, где n - число переменных) и значениями формулы.

10.08.2015

5

6 Логические операции: Операция, выражаемая словом “не”, называется

Логические операции: Операция, выражаемая словом “не”, называется

отрицанием. 2. Операция, выражаемая связкой “и”, называется конъюнкцией (соединение) или логическим умножением.

10.08.2015

6

7 Логические операции: 3. Операция, выражаемая связкой “или”, называется

Логические операции: 3. Операция, выражаемая связкой “или”, называется

дизъюнкцией (разделение) или логическим сложением.

10.08.2015

7

8 Пример №1

Пример №1

А

С

D

В

10.08.2015

8

9 Пример №2

Пример №2

10.08.2015

9

10 Пример №3 Постройте таблицу истинности для логических формул:

Пример №3 Постройте таблицу истинности для логических формул:

F=A^(BvC)v(A^B)

A

B

C

C

BvC

A^(BvC)

A

A^B

(A^B)

F

0

0

0

0

0

1

0

1

0

1

0

0

0

1

1

1

0

1

1

1

0

1

1

1

10.08.2015

10

11 Пример №4 Постройте таблицу истинности для логических формул:

Пример №4 Постройте таблицу истинности для логических формул:

F=(AvC)^(A^C)^(BvC)

A

B

C

F

10.08.2015

11

12 Домашнее задание: Лекция

Домашнее задание: Лекция

Пример №1 а) б)

Пример №2 Постройте таблицу истинности для логических формул: а) F=(A^B) ? (A ? C) б) F=(A^B) ? (A ^ C)

10.08.2015

12

«Алгебра логики»
http://900igr.net/prezentacija/algebra/algebra-logiki-104471.html
cсылка на страницу

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

19 презентаций об алгебре логики
Урок

Алгебра

35 тем
Слайды