2. Да здравствуют студенты математического факультета!
Отчет по практическому занятию
Тема: Построение таблиц истинности.
УД «Информатика»
Дата: 29.09.2022
Цель: научиться упрощать формулы логики, определять истинность и ложность составных высказываний и составлять таблицы истинности.
Выполнила: Кулик Мария Дмитриевна
Группа: 14
Специальность: 09.02.07 Информационные системы и программирование
Преподаватель: Жиров Д.С.
1. Какие из следующих предложений являются высказываниями? Определите истинность высказываний:
1. 2+2=5
2. Да здравствуют студенты математического факультета!
3. Который час?
4. Москва – Столица России.
5. 2*2 = 4.
Ответ:1-ложно
4-истинно
5-истинно
2. Записать символически следующие высказывания:
1. Студент не может заниматься, если он устал или голоден.
2. Если Олег счастлив, то Ольга несчастлива, и если Олег несчастлив,
то Ольга счастлива.
3. Петр встанет, и он или Иван уйдет.
4. Петр встанет и уйдет или Иван уйдет.
Ответ: 1)Ā →B ˅ C
2) ( A →B) ˄ (C →D)
3) A ˄ ( B ˅ C)
4) (A ˄ B) ˅ C
3. Найдите значения логических выражений:
1. 1Ù(0Ú1)
1) 0Ú1 = 1
2) 1Ù1 = 1
Ответ: истинно
2. ((0Ù1)Ú(1Ú1))Ú(0Ù0)
1) 0Ù1 = 0
2) 1Ú1 = 1
3) 0Ù0 =0
4) 0Ú1 =1
5)1Ú0 =1
Ответ: истинно
3. ХÙ1Ú(0ÚХ), под X=0 и 1
1) ХÙ1 = 0 и 1 – A
2) 0ÚХ = 0 и 1 – B
3) AÚB = 0 и 1
Ответ: 01
4. (аÙØа)®1, под a=01, a=10
1) аÙØа = 00-A
2) A® 1 = 11
Ответ: 11
4. Построить таблицу истинности для формулы логики:
1. F = (P ® Q) ® ((P ® ØQ) ® ØP)
| P | Q | P →Q | Ø Q | P→ Ø Q | Ø P | P → Ø Q → Ø P | P → Q →( P → Ø Q → Ø P ) | F=( P → Q →( P → Ø Q → Ø P )) |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |
2. F = P « (Q Ù (Ø P Ú Ø Q))
| P | Q | F=P | Ø P | Ø Q | Ø P ∨ Ø Q | Q ∧ ( Ø P ∨ Ø Q ) | F = P « (Q Ù ( Ø P Ú Ø Q)) |
| 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 |
| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
Вывод: В ходе выполнения практической работы, научилась упрощать формулы логики, определять истинность и ложность составных высказываний и составлять таблицы истинности.