Презентация по математике "Таблица истинности. Основные логические тождества" - скачать бесплатно

2. Определение высказывания.
Таблица истинности для высказываний

Определение 1
Переменная А, принимающая

Порядок действий
1)Однотипные операции выполняются в порядке их следования.
Например,

2) Отрицание подразумевает

Примеры

1)Избавиться от лишних скобок
Ответ
2)Расставить порядок действий

1

2

3

4

5

6

7

Определение 2
Таблица истинности для высказывания имеет вид

Если высказывание F построено из

3. Равносильные высказывания.

Определение 1

Высказывания F(A1,A2,…,An) и G(A1,A2,…,An) называются равносильными (или

Примеры

Доказательство

Основные логические тождества

Идемпотентные законы:

Коммутативные законы:

Ассоциативные законы:

1)

2)

3)

4)

5)

6)

7)

8)

Законы Моргана:

Закон двойного отрицания:

Закон противоречия:

Закон исключенного третьего:

9)

10)

11)

12)

13)

14)

15)

Дистрибутивные

Законы поглощения:

Доказательство

Доказательство

16)

17)

18)

19)

Тождества, содержащие константы: