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

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

(МИИТ)

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

факультет

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

кафедра

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

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

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

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

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

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

                            Шифр 0610 ИСЖ-1046

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

Москва 2010 г.

Задание №1.

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

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

Таблица 1

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

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

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