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

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

Страница 2

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

при

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

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

Пример:

x

y

0

0

1

1

0

1

1

1

1

0

0

0

1

1

1

1

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

Пример:

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

х

у

 

1

1

1

1

 

1

0

1

1

 

0

1

0

1

 

0

0

1

1

 
 

 

1

0

1

 

1

0

1

 

0

1

1

 

0

1

1

Страницы: 1 2 3 4 5


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

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

Интерпретация полученных данных
1. Методика самооценки личности» С. А. Будасси. Порядок исследования: Испытуемый внимательно просматривает список слов, характеризующих отдельные качества личности. На основе предложенного списка респондент выписывает во вторую колонку таблицы 20 значимых свойств личности, из которых 10 описывают и ...

Учебная литература как средство методического обеспечения самостоятельной работы студентов
Для нормальной самостоятельной работы студент должен быть обеспечен достаточным количеством учебных пособий разного вида. Чем более разнообразны учебные пособия, тем более успешна будет самостоятельная работа студента, так как каждый может выбрать себе учебное пособие по силам, по склонностям, по м ...

Copyright © 2014-2021 - All Rights Reserved - www.vojxf.site