Информатика. Программа, методические указания и контрольные задания - 30 стр.

UptoLike

4 Объясните назначение и принципы работы логических элементов И, ИЛИ, НЕ. Изобразите соот-
ветствующие схемы.
5 Охарактеризуйте сущность основных логических устройств.
6 Изобразите функциональные схемы и структурные формулы основных логических устройств.
Рекомендуемая литература
1 Бузук Г. Л. Логика и компьютер. – М.: Финансы и статистика, 1995. – 208 с.
2 Ваш персональный компьютер / М. К. Буза, Л. В. Певзнер, С. Р. Сорока, И. А. Хижняк. – М.:
Минск, Вышэйшая шк., 1995. – 333 с.
3 Ершов Ю. Л., Палютин Е. А. Математическая логика. – М.: Наука, 1979.
4 Интегральные микросхемы и их зарубежные аналоги: Справочник. – Том 2 / А. В. Нефедов. – М.:
ИП РадиоСофт, 1998. – 640 с.
5 Клини С. Математическая логика. – М.: Мир, 1973.
6 Лыскова В. Ю., Ракитина Е. А. Логика в информатике. – М.: ИНФО, 1999. – 135 с.
7 Мендельсон Э. Введение в математическую логику. – М.: Наука, 1971.
*
8 Новиков П. С. Элементы математической логики. – М.: Наука, 1973.
*
9 Отечественные микросхемы и зарубежные аналоги: Справочник / Перельман Б. Л, Шевелев В. И.
М.: «НТЦ Микротех», 1998. – 376 с.
Контрольная работа 2
МЕТОДИЧЕСКИЕ УКАЗАНИЯ ПО РЕШЕНИЮ
Задание 1
Составить таблицу истинности для логического выражения:
F (A,B,C) = ((B A) C) ¬A
Решение. Проанализируем условие. Обозначим через n – число переменных, входящих в логическое
выражение. Поскольку логическое выражение содержит три переменные, то сложное высказывание со-
стоит из 3 простых, то есть n = 3. Тогда число строк в таблице истинности равно 2
n
= 2
3
= 8, плюс 2
строки для заголовка, т.е. всего 2
n
+ 2 = 2
3
+ 2 = 10 строк.
Число столбцов в таблице равно сумме числа переменных (n) и числа всех логических операций (k),
входящих в высказывание. Имеем три переменные (A,B,C), то есть n = 3 и 4 логические операции (2
дизъюнкции, конъюнкция и отрицание), то есть k = 4. Поэтому в таблице истинности будет 7 столбцов
(n + k = 3 + 4 = 7).
Пронумеруем столбцы и заполним вторую строку заголовка в соответствии с порядком выполнения
логических операций в логическом выраженииформуле сложного высказывания.
Заполним первые 3 столбца значениями 0 и 1, перебирая все возможные значения простых пере-
менных:
В столбце А чередуем 4 нуля и 4 единицы (2
n
/ 2
1
= 8 : 2 = 4).
В столбце В чередуем 2 нуля и 2 единицы (2
n
/ 2
2
= 4 : 2 = 2).
В столбце С чередуем 1 ноль и 1 единицу (2
n
/ 2
n
= 2 : 2 = 1).
Таким образом, все возможные варианты учтены и никакие два не совпадают. Заполним таблицу
истинности в соответствии с определениями логических операций. Получим:
1 2 3 4 5 6 7
A B C
2 1 4 3 ¬ 1 5 6
0 0 0 0 0 1 1
0 0 1 0 0 1 1
0 1 0 1 0 1 1
0 1 1 1 1 1 1
1 0 0 1 0 0 0
1 0 1 1 1 0 1
1 1 0 1 0 0 0