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

Начать. Это бесплатно
или регистрация c помощью Вашего email-адреса
Rocket clouds
Алгебра логики создатель Mind Map: Алгебра логики

1. Логические выражения

1.1. Простые

1.1.1. Фут больше мили

1.2. Сложные

1.2.1. Наверно, что миля больше километра и фут больше мили

2. Раздел математической логики, в котором изучаются логические операции над высказываниями

3. Основные понятия логики

3.1. Понятие

3.1.1. Фут-единица измерения

3.2. Высказывание

3.2.1. Москва-столица России

3.3. Умозаключение

3.3.1. Все металлы - простые вещества. Литий - металл. Литий - простое вещество.

4. Высказывания

4.1. Простые

4.1.1. Логические переменные

4.2. Составные

4.2.1. Логические функции

4.2.1.1. Принимают значения 0 и 1

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

5.1. Таблицу, показывающую, какие значения принимает логическая функция при всех сочетаниях значений ее аргументов, называют таблицей истинности логической функции

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

6.1. Инверсия

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

6.2. Конъюнкция

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

6.3. Дизъюнкция

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

6.4. Импликация

6.4.1. Логическое следование

6.5. Эквивалентность

6.5.1. Логическая равнозначность

7. Законы алгебры логики

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

7.2. Переместительный закон

7.3. Сочетательный закон

7.4. Распределительный закон

7.5. Закон де Моргана

7.6. Закон идемпотентности

7.7. Законы исключения констант