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

Страницы работы

Содержание работы

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

(МИИТ)

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

 


факультет

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

кафедра

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

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

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

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

Выполнил:   студент 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)

И

И

И

И

И

И

И

И

И

Л

Л

И

И

И

И

Л

И

И

И

И

И

И

Л

Л

Л

И

Л

И

Л

И

И

И

И

И

И

Л

И

Л

Л

И

И

И

Л

Л

И

И

И

И

И

Л

Л

Л

Л

Л

Л

Л

Похожие материалы

Информация о работе