Алгебра логики
- Что такое алгебра логики?
- Основные логические операции
- Пример: Конъюнкция
- Пример: Дизъюнкция
- Пример: Инверсия
- Таблицы истинности
- Применение в информатике
- Пример: Логические вентили
- Пример: Программирование
- Заключение
- Вопросы?
Элементы математической логики
- Что такое математическая логика?
- Основные операции логики
- Операция И (AND)
- Операция ИЛИ (OR)
- Операция НЕ (NOT)
- Таблицы истинности
- Пример таблицы истинности для операции И
- Пример таблицы истинности для операции ИЛИ
- Пример таблицы истинности для операции НЕ
- Логические выражения
- Пример логического выражения
- Приоритет операций
- Применение математической логики
- Пример применения в программировании
- Пример применения в электронике
- Заключение
Элементы алгебры логики
- Что такое алгебра логики?
- Основные логические операции
- Пример конъюнкции
- Пример дизъюнкции
- Пример отрицания
- Таблицы истинности
- Пример таблицы истинности для конъюнкции
- Пример таблицы истинности для дизъюнкции
- Пример таблицы истинности для отрицания
- Логические выражения
- Пример логического выражения
- Приоритет логических операций
- Применение алгебры логики
- Пример применения в информатике
- Пример применения в электронике
- Заключение
- Вопросы и ответы
- Дополнительные материалы
Игра "Где логика" по теме "Смута"
- Что такое Смута?
- Причины Смуты
- Основные события Смуты
- Борис Годунов
- Смутное время
- Лжедмитрий I
- Лжедмитрий II
- Михаил Романов
- Последствия Смуты
- Игра "Где логика?"
- Пример игры
- Результаты игры
- Вывод
- Вопросы?
СДНФ и СКНФ
- Что такое Булева Алгебра?
- Основные операции в Булевой Алгебре
- Что такое СДНФ?
- Пример СДНФ
- Что такое СКНФ?
- Пример СКНФ
- Преимущества СДНФ и СКНФ
- Применение СДНФ и СКНФ
- Как построить СДНФ?
- Как построить СКНФ?
- Пример построения СДНФ
- Пример построения СКНФ
- Заключение
Математическая логика
- Что такое математическая логика?
- Основные понятия
- Высказывания
- Предикаты
- Кванторы
- Логические операции
- Применение в информатике
- Пример: Булева алгебра
