Формы записи высказываний. Алгоритмические способы решения логических задач

Пример 2: Вычислить значение функции:

при

Подобно алгебраическим выражениям большие составные логические формулы во многих случаях могут быть упрощены, то есть приведены к равносильным.

Две формулы А и В будем называть равносильными (А=В или ), если они имеют одинаковые таблицы истинности. Будем считать две таблицы истинности одинаковыми, если у них одинаковые последние (результирующие) столбцы.

Пример:

В логике высказываний будем считать, что равносильные формулы задают одно и то же высказывание. Может оказаться, что в последнем столбце таблицы истинности стоят одни единицы или нули. Будем называть такое высказывание тождественно-истинным (тавтологией) соответственно тождественно-ложным (противоречием) и обозначать 1 и 0. Из определения следует, что для проверки равносильности формул нужно построить их таблицы истинности и сравнить

Пример:

Формулы и являются тождественно-истинными

Статьи по теме:

Организация и методы исследования
По классификации Ю. К- Бабанского к первой группе методов (организации и самоорганизации учебно-познавательной деятельности) относятся следующие методы: — словесные, наглядные и практические (перцептивный чувственный аспект структуры познания); — индуктивные и дедуктивные, аналитические и синтетиче ...

Структура педагогики и система педагогических дисциплин
В рамках педагогики существует ряд относительно самостоятельных разделов, связанных с исследованием отдельных сторон учебно-воспитательного процесса. Разработкой целей, задач, содержания, принципов, методов и организации образования и обучения занимается дидактика (теория образования и обучения); в ...

Обучаемость и ее компоненты
Рассматривая индивидуально-типические компоненты продуктив­ного мышления, мы ставили перед собой задачу выделить те его особенности, от которых зависит легкость овладения однородными знаниями, темп продвижения в них, т. е. связывали его с понятием общих способностей. У школьников эти свойства их пс ...