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

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

при

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

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

Пример:

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

Пример:

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

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

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

Изобразительная деятельность - средство творческого развития детей дошкольного возраста
Каждый из видов изобразительной деятельности имеет свои возможности и средства для изображения предметов и явлений, в совокупности давая возможность отображать действительность многообразно и разносторонне. Рисование более сложное средство изображения, чем лепка и аппликация. Графическая деятельнос ...

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