Логические выражения и решения логических задач

МОСКОВСКИЙ  ГОСУДАРСТВЕННЫЙ  УНИВЕРСИТЕТ  ПУТЕЙ  СООБЩЕНИЯ

(МИИТ)

РОССИЙСКАЯ ОТКРЫТАЯ АКАДЕМИЯ ТРАНСПОРТА

 

факультет

Управление процессами перевозок

кафедра

Вычислительная техника

контрольная работа

по дисциплине

ПРЕДСТАВЛЕНИЕ ЗНАНИЙ В ИНФОРМАЦИОННЫХ СИСТЕМАХ

Выполнил:   студент 5 курса

                            Обрезков И.А.

                            Шифр 0610 ИСЖ-1046

ПРОВЕРИЛ:    ст.преподаватель Л.Ю. Бедарева

Москва 2010 г.

Задание №1.

(Вариант задания (табл.1) определяется по последней цифре учебного шифра).

Используя таблицы истинности (табл.7), докажите следующие тождества для логических выражений P, Q и R:

Таблица 1

Номер варианта	Задание
0
1
2	закон контрапозиции импликации
3	закон де Моргана
4	закон де Моргана
5	закон коммутативности
6	ассоциативный закон
7	ассоциативный закон
8	дистрибутивный закон
9	дистрибутивный закон

По последней цифре шифра выбираю вариант №6

 ассоциативный закон

Для всех возможных значений построим таблицу истинности

P	Q	R	P˅Q	(P˅Q) ˅ R	Q ˅ R	P˅(Q ˅ R)
И	И	И	И	И	И	И
И	И	Л	Л	И	И	И
И	Л	И	И	И	И	И
И	Л	Л	Л	И	Л	И
Л	И	И	И	И	И	И
Л	И	Л	Л	И	И	И
Л	Л	И	И	И	И	И
Л	Л	Л	Л	Л	Л	Л