Опорный конспект «Основы алгебры логики»

Опорный конспект «Основы алгебры логики»

Логика – наука о мышлении, формах, методах и законах интеллектуальной деятельности

Алгебра логики определяет правила записи, упрощения и преобразования высказываний и вычисления их значений

Высказывания (утверждения) – это повествовательные предложения, в которых что-то утверждается или отрицается. Возможные значения:

1. __________________________________ 2. __________________________________

Логические операции:

1.

Логическое умножение

Логическая связка на естественном языке

Знаки для записи

Таблица истинности

Круги Эйлера

А

В

А and B

0

0

0

1

1

0

1

1

Истинно тогда и только тогда, когда всё ______________________________________

2.

Логическое сложение

Логическая связка на естественном языке

Знаки для записи

Таблица истинности

Круги Эйлера

А

В

А or B

0

0

0

1

1

0

1

1

Ложно тогда и только тогда, когда всё ______________________________________

3.

Логическое отрицание

Логическая связка на естественном языке

Знаки для записи

Таблица истинности

Круги Эйлера

А

not А

0

1

Меняет значение высказывания на ______________________________________

Порядок выполнения логических операций:

1)

2)

3)

Правила построения таблиц истинности:

Посчитать количество переменных

N

Посчитать количество логических операций

М

Установить последовательность выполнения операций.

Определить количество столбцов в таблице

N

+

M

Определить количество строк в таблице (включая шапку)

К=

2

N

+1

Записать все наборы значений переменных.

Определить значения логических операций.