- •Логические основы работы эвм Методические указания к выполнению лабораторной работы для бакалаврантов 1-го курса всех направлений и форм обучения
- •Анатолий Николаевич Вишневский
- •Высказывание
- •Умозаключение
- •Алгебра логики
- •Логическое умножение (конъюнкция)
- •Логическое сложение (дизъюнкция)
- •Логическое отрицание (инверсия)
- •Логическое следование (импликация)
- •Логическое тождество (эквиваленция)
- •Операция «исключающее или»
- •Порядок выполнения логических операций в сложном логическом выражении
- •Логические выражения и таблицы истинности
- •Логические выражения
- •Равносильные логические выражения
- •Построение таблиц истинности для сложных выражений
- •Логические функции
- •Логическое следование (импликация)
- •Логическое равенство (эквивалентность)
- •Логические законы и правила преобразования логических выражений
- •Логические элементы
- •Простейший логический элемент не (инвертор)
- •Инверсия
- •Базовый набор операций
- •Логический элемент и (конъюнктор)
- •Логический элемент или (дизъюнктор)
- •Логический элемент «исключающее или»
- •Вопросы для самопроверки
- •Решение логических задач
- •Примеры решения задач
- •Задания
- •Библиографический список
- •Содержание
Задания
Задание 1. Какой логической операции соответствует таблица истинности?
-
X
Y
F
0
0
0
0
1
1
1
0
1
1
1
1
Задание 2. Какой логической операции соответствует таблица истинности?
-
X
Y
F
0
0
1
0
1
1
1
0
0
1
1
1
Задание 3. Найти значения приведённых ниже логических выражений:
А& В VC при А =0(False), В = 1(True), C = 0 (False).
(X > Y) V (Z <4 ) при X = 5, Y = 7, Z = 0.
AVВ при A = False, B = False.
(a < z) V (z > -10) & (a ≠ 5) при a = 8, z = -6.
& C при А =False, В = False, C = True.
Задание 4. Задано логическое выражение Составить логическую схему для данного выражения и заполнить таблицу истинности.
Задание 5. Упростить логическое выражение V . Правильность упрощения проверить с помощью таблицы истинности.
Задание 6. Доказать данное равенство с помощью таблицы истинности.
X↔ Y = (X & Y) V (X & Y)
Задание 7. По заданным логическим выражениям составить логические схемы и заполнить таблицы истинности:
Записать составное высказывание «(2 • 2 = 4 и 3 • 3 = 9) или (2 • 2 ≠ 4 и 3 • 3 ≠ 9)» в форме логического выражения.
Построить таблицу истинности.
Задание 8. Доказать, используя таблицы истинности, что логические выражения
Задание 9. Вадим, Сергей и Михаил изучают различные иностранные языки – китайский, японский и арабский. На вопрос: “какой язык изучает каждый из них”, – один ответил: «Вадим изучает китайский, Сергей не изучает китайский, а Михаил не изучает арабский». Потом выяснилось, что в этом ответе только одно утверждение верно, а два других ложны. Какой язык изучает каждый из молодых людей?
Задание 10. Три одноклассника – Влад, Тимур и Юра встретились спустя 10 лет после окончания школы. Выяснилось, что один из них стал врачом, другой физиком, а третий юристом. Один полюбил туризм, другой бег, третий – регби.
Юра сказал, что на туризм ему не хватает времени, хотя его сестра – единственный врач в семье, заядлый турист. Врач сказал, что он разделяет увлечение коллеги.
Забавно, но у двоих из друзей в названиях их профессий и увлечений не встречается ни одна буква их имён.
Определите, кто, чем любит заниматься в свободное время и у кого какая профессия?
Библиографический список
Логические основы работы ЭВМ. Методические указания к выполнению лабораторной работы по информатике для студентов всех специальностей дневной формы обучения / Н. Д. Белова, Н. И. Шадрина. – Хабаровск : Изд-во Тихоокеан. гос. ун-та. 2011. – 16 с.
Вальциферов Ю. В. Информатика. Часть 1. Арифметические и логические основы ЭВМ : учеб. пособие / Ю. В. Вальциферов, В. П. Дронов – М. : Евразийский открытый институт, 2005. – 252 с.
http://www.inf1.info/book/export/html/210.
http://www.kolomna-school7-ict.narod.ru/st20201.htm.
http://dic.academic.ru/dic.nsf/enc_philosophy/436/.
http://book.kbsu.ru/theory/chapter5/1_5_13.html.
http://www.iiikt.narod.ru/elect/lognew/2224.htm.
http://ru.ask.com/web.
http://pedsovet.su/forum/163-3454-1.
http://infoegehelp.ru/index.php?.
http://book.kbsu.ru/theory/chapter5/1_5_6.html.
http://book.kbsu.ru/theory/chapter5/1_5_12.html.
http://book.kbsu.ru/theory/chapter5/1_5_13.html.
http://markx.narod.ru/bool/tabist.html.
http://www.inf1.info/book/export/html/210.
http://festival.1september.ru/articles/573898/.