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

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

при

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

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

Пример:

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

Пример:

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

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

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

Из истории юннатского движения в России
Становление юннатского движения способствовало развитию экологического сознания у ряда поколений нашей страны. Поэтому знание истории юннатского движения имеет определенную ценность для школьников современности. Основные исторические вехи юннатского движения отражены в журналах «Юный натуралист» и ...

Проект формирования у младших школьников умения осуществлять поиск необходимой информации для выполнения учебных заданий по окружающему миру
Введение ФГОС НОО предусматривает формирование умения учиться, работать с информацией. Сегодня важно научить младших школьников владеть информацией: знать источники информации, уметь искать ответ на интересующий вопрос, отбирать правильно (в соответствии с темой и задачей) информацию, грамотно офор ...