МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПУТЕЙ СООБЩЕНИЯ
(МИИТ)
РОССИЙСКАЯ ОТКРЫТАЯ АКАДЕМИЯ ТРАНСПОРТА
факультет
Управление процессами перевозок
кафедра
Вычислительная техника
контрольная работа
по дисциплине
ПРЕДСТАВЛЕНИЕ ЗНАНИЙ В ИНФОРМАЦИОННЫХ СИСТЕМАХ
Выполнил: студент 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) |
|
И |
И |
И |
И |
И |
И |
И |
|
И |
И |
Л |
Л |
И |
И |
И |
|
И |
Л |
И |
И |
И |
И |
И |
|
И |
Л |
Л |
Л |
И |
Л |
И |
|
Л |
И |
И |
И |
И |
И |
И |
|
Л |
И |
Л |
Л |
И |
И |
И |
|
Л |
Л |
И |
И |
И |
И |
И |
|
Л |
Л |
Л |
Л |
Л |
Л |
Л |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.
закон
контрапозиции импликации
закон де Моргана
закон
де Моргана
закон
коммутативности
ассоциативный
закон
ассоциативный
закон 
дистрибутивный
закон
дистрибутивный
закон