Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Преобразование формул
ЕГЭ ИНФОРМАТИКА ЗАДАНИЕ № 15 на С++ и Python "Преобразование логических выражений"
Алгебру логики можно рассматривать как систему правил и законов, позволяющих производить равносильные преобразования логических выражений. В этой области существует ряд основных законов, которые являются базовыми строительными блоками алгебры логики.
Рассмотрим как это задание можно решить на компьютере на языке С++, Python и математически
Представляю вам презентацию с урока...
Так же подписывайтесь на наш канал в ДЗЕН и https://t...
Основы формальной логики
Знакомы ли Вы с понятием "формальная логика"? Что такое конъюнкция и дизъюнкция? А импликация? В статье будут рассмотрены данные понятия. Надеюсь статья будет Вам полезна. Формальная логика (математическая логика) является важнейшей основой функционирования современных компьютеров. Мы используем законы формальной логики, когда делаем запрос на поиск информации в Интернете или базе данных или когда анализируем правильность математического вывода. Многие элементы компьютеров проектируются и работают на основе законов формальной логики...