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

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

Страница 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. Один ученик из пары читает текст по предложениям, другой пишет (без предварительного чтения текста в целом). 2. Другой ученик, (т.е. тот, кто перед этим писал) чи ...

Навигация

Copyright © 2023 - All Rights Reserved - www.basicpedagog.ru