Алгебра логики
Вид материала | Документы |
- Алгебра логики и логические основы компьютера Алгебра логики (булева алгебра), 39.45kb.
- Основы математической логики. Алгебра логики (булева алгебра), 59.39kb.
- Лекция Логические основы компьютеров , 369.25kb.
- 1. Введение в алгебру логики Прямое произведение множеств. Соответствия и функции., 38.38kb.
- Вопросы по курсу: Математическая логика и теория алгоритмов (2 курс), 30.21kb.
- Реферат по информатике и икт на тему: «Логика», 356.67kb.
- Элективный курс "Системы счисления и элементы математической логики" для учащихся, 49.65kb.
- Отличия человеческой логики от математической логики, 139.86kb.
- Методические рекомендации по использованию учебных пособий «Алгебра и математический, 181.08kb.
- Тема №2 «Алгебра логики», 4.68kb.

Начало формы
АЛГЕБРА ЛОГИКИ
Какое логическое действие называется дизъюнкцией?




С помощью таблицы истинности получите результат логической функции НЕ А + В




Что такое логика?




Определите, является ли данное выражение логическим тождеством? НЕ(А+В)=НЕ А* НЕ В




Какому логическому элементу соответствует таблица истинности?
А
В
С
0
0
0
1
0
1
0
1
1
1
1
1
дизъюнктору
конъюнктору
инвертору
элементу Пирса
С помощью таблицы истинности получите результат логической функции А* НЕ В




Какой электрический сигнал называется "потенциалом"?




В чем состоит закон противоречия?

условие А.



В чем смысл двойного отрицания?
Если истинно А или В, но В не выполнено, то должно выполняться А.
Двойное отрицание исключает отрицание.
Истинно либо суждение, либо его отрицание.
Из двух противоречивых суждений одно истинно.
Как формулируется закон тождества?
Любое утверждение должно предполагать наличие аргументов и фактов, достаточных для его обоснования.
Предмет обсуждения должен быть строго определен и не должен меняться до конца обсуждения.
Не могут быть одновременно истинны утверждение и его отрицание.
Всякая истинная мысль должна быть достаточно обоснована.

Конец формы