Реферат Курсовая Конспект
Лекция 5. Логические основы компьютеров - раздел Компьютеры, Лекция 5. Логические Основы Компьютеров ...
|
Лекция 5. Логические основы компьютеров
Что такое логическая формула?
Что такое логический элемент компьютера?
Логический элемент компьютера — это часть электронной логичеcкой схемы, которая реализует элементарную логическую функцию. |
Что такое схемы И, ИЛИ, НЕ, И—НЕ, ИЛИ—НЕ?
Единица на выходе схемы И будет тогда и только тогда, когда на всех входах будут единицы. Когда хотя бы на одном входе будет ноль, на выходе также будет ноль.
Связь между выходом z этой схемы и входами x и y описывается соотношением: z = x . y
(читается как "x и y"). Операция конъюнкции на структурных схемах обозначается знаком "&" (читается как "амперсэнд"), являющимся сокращенной записью английского слова and.
Какие основные законы выполняются в алгебре логики?
В алгебре логики выполняются следующие основные законы, позволяющие производить тождественные преобразования логических выражений:
Примеры.
1. Составим таблицу истинности для формулы , которая содержит две переменные x и y. В первых двух столбцах таблицы запишем четыре возможных пары значений этих переменных, в последующих столбцах — значения промежуточных формул и в последнем столбце — значение формулы. В результате получим таблицу:
Переменные | Промежуточные логические формулы | Формула | |||||
Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 1, то есть является тождественно истинной.
2. Таблица истинности для формулы :
Переменные | Промежуточные логические формулы | Формула | ||||
Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 0, то есть является тождественно ложной.
3. Таблица истинности для формулы :
Переменные | Промежуточные логические формулы | Формула | ||||||
Из таблицы видно, что формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть является выполнимой.
Что такое переключательная схема?
В компьютерах и других автоматических устройствах широко применяются электрические схемы, содержащие сотни и тысячи переключательных элементов: реле, выключателей и т.п. Разработка таких схем весьма трудоёмкое дело. Оказалось, что здесь с успехом может быть использован аппарат алгебры логики.
Переключательная схема — это схематическое изображение некоторого устройства, состоящего из переключателей и соединяющих их проводников, а также из входов и выходов, на которые подаётся и с которых снимается электрический сигнал. |
Каждый переключатель имеет только два состояния: замкнутое и разомкнутое. Переключателю Х поставим в соответствие логическую переменную х, которая принимает значение 1 в том и только в том случае, когда переключатель Х замкнут и схема проводит ток; если же переключатель разомкнут, то х равен нулю.
Будем считать, что два переключателя Х и связаны таким образом, что когда Х замкнут, то разомкнут, и наоборот. Следовательно, если переключателю Х поставлена в соответствие логическая переменная х, то переключателю должна соответствовать переменная .
Всей переключательной схеме также можно поставить в соответствие логическую переменную, равную единице, если схема проводит ток, и равную нулю — если не проводит. Эта переменная является функцией от переменных, соответствующих всем переключателям схемы, и называется функцией проводимости.
Найдем функции проводимости F некоторых переключательных схем:
a)
Схема не содержит переключателей и проводит ток всегда, следовательно F=1;
б)
Схема содержит один постоянно разомкнутый контакт, следовательно F=0;
в)
Схема проводит ток, когда переключатель х замкнут, и не проводит, когда х разомкнут, следовательно, F(x) = x;
г)
Схема проводит ток, когда переключатель х разомкнут, и не проводит, когда х замкнут, следовательно, F(x) = ;
д)
Схема проводит ток, когда оба переключателя замкнуты, следовательно, F(x) = x . y;
е)
Схема проводит ток, когда хотя бы один из переключателей замкнут, следовательно, F(x)=x v y;
ж)
Схема состоит из двух параллельных ветвей и описывается функцией .
Две схемы называются равносильными, если через одну из них проходит ток тогда и только тогда, когда он проходит через другую (при одном и том же входном сигнале). Из двух равносильных схем более простой считается та схема, функция проводимости которой содержит меньшее число логических операций или переключателей. |
Задача нахождения среди равносильных схем наиболее простых является очень важной. Большой вклад в ее решение внесли российские учёные Ю.И. Журавлев, С.В. Яблонский и др.
При рассмотрении переключательных схем возникают две основные задачи: синтез и анализ схемы.
СИНТЕЗ СХЕМЫ по заданным условиям ее работысводится к следующим трём этапам:
АНАЛИЗ СХЕМЫ сводится к
Примеры.
1. Построим схему, содержащую 4 переключателя x, y, z и t, такую, чтобы она проводила ток тогда и только тогда, когда замкнут контакт переключателя t и какой-нибудь из остальных трёх контактов.
Решение. В этом случае можно обойтись без построения таблицы истинности. Очевидно, что функция проводимости имеет вид F(x, y, z, t) = t . (x v y v z), а схема выглядит так:
2. Построим схему с пятью переключателями, которая проводит ток в том и только в том случае, когда замкнуты ровно четыре из этих переключателей.
Схема имеет вид:
3. Найдем функцию проводимости схемы:
Решение. Имеется четыре возможных пути прохождения тока при замкнутых переключателях a, b, c, d, e : через переключатели a, b; через переключатели a, e, d; через переключатели c, d и через переключатели c, e, b. Функция проводимости F(a, b, c, d, e) = a . b v a . e . d v c . d v c . e . b.
4. Упростим переключательные схемы:
а)
Решение:
Упрощенная схема:
б)
.
Здесь первое логическое слагаемое является отрицанием второго логического слагаемого , а дизъюнкция переменной с ее инверсией равна 1.
Упрощенная схема :
в)
Упрощенная схема:
г)
Упрощенная схема:
д)
(по закону склеивания)
Упрощенная схема:
е)
Решение:
Упрощенная схема:
Как решать логические задачи?
Разнообразие логических задач очень велико. Способов их решения тоже немало. Но наибольшее распространение получили следующие три способа решения логических задач:
Познакомимся с ними поочередно.
Ответы — Раздел 5. Логические основы компьютеров
5.1. Являются высказываниями: а), г), д), ж), з), и), к);
не являются высказываниями: б); в); е).
5.2. Истинные: д), з), к);
ложные: а), и);
истинность трудно установить: г);
можно рассматривать и как истинное, и как ложное в зависимости от требуемой точности представления: ж).
5.3. Образцы.
Истинные высказывания: а) “2+2=4”; б) “сила притяжения тел обратно пропорциональна квадрату расстояния между ними” в) “зайцы питаются растениями”; г) “бит - фундаментальная единица информации, используемая в теории информации”; д) “два треугольника равны, если две стороны и угол между ними одного треугольника равны двум сторонам и углу между ними другого треугольника”; е) “понедельник - первый день недели”.
Ложные высказывания: а) “4+3=5”; б) “тело падает на Землю с ускорением, пропорциональным своей массе”; в) “животные это неживая природа" г) “информатика - наука о термической обработке металлов”; д) “квадрат это фигура у которой пять сторон”; е) “лев - домашнее животное”.
5.4. а) “Эльбрус – не высочайшая горная вершина Европы”; б) “2<5”; в) “10>=7”; г) “не все натуральные числа целые”; д) “не через любые три точки на плоскости можно провести окружность”; е) “теннисист Кафельников проиграл финальную игру”; ж) “мишень не поражена первым выстрелом”; з) “это утро не ясное или оно не теплое” (Пояснение. Пусть А = “это утро ясное”, а B = “это утро теплое”. Тогда “это утро ясное и теплое” можно записать как А•В, отрицанием чего является , что соответствует высказывательной форме “это утро не ясное или оно не не теплое”; и)“число n не делится на 2 и оно делится на 3”; к) “этот треугольник не равнобедренный или он не прямоугольный”; л) “не каждый ученик писал контрольную своей ручкой” (вариант: "кто-то писал контрольную не своей ручкой").
Являются отрицаниями друг друга: б), г), д), к); не являются отрицаниями друг друга: а), в), е), ж), з), и).
Истинны: б), в), г), з), к), и); ложны: а), д), е), ж).
5.8. .
5.9. Решение. Введем обозначения для логических высказываний: а – “ты будешь говорить правду”; b – “тебя возненавидят люди”; c – “тебя возненавидят боги”. Договоримся считать, что некоторое заданное высказывание x истинно, если нет оговорки. Тогда предостережение матери можно записать так:
. А ответ сына – так:
.
5.10.
а) “это утро ясное и тёплое”; | ж) “это утро не ясное или не тёплое”; |
б) “это утро ясное и оно не тёплое”; | з) “это утро не ясное и не тёплое”; |
в) “это утро не ясное и оно не тёплое”; | и) “это утро ясное или не тёплое”; |
г) “это утро не ясное или оно тёплое”; | к) “если это тро ясное, то оно не тёплое”; |
д) “это утро ясное или оно не тёплое”; | л) “если это утро не ясное, то оно тёплое”; |
е) “это утро не ясное или оно не тёплое”; | м) “это утро ясное и не тёплое”. |
5.11. а) ; б) .
Тождественно истинные: а), в), е); тождественно ложные: г), д), ж).
5.14. а) b•c; б) a; в) c•(a v b) v a•b (Указание: повторить четвертое логическое слагаемое 3 раза); г) a v c.
5.15. а) a; б) a•b; в) a; г) a•b;
5.16. а) a v c; б) ; в) ; г) a v c; д) a•(c v b•d); е) ; ж) ; з) ; и) a•(b v c•d); к) .
5.18.
5.19. Равносильны: б), в), д);
неравносильны: а), г).
Пояснения. Обозначим функции проводимости рассматриваемых переключательных схем как F1 и F2, соответственно. Тогда: а) ; ;
б) ; ;
в) ; ;
д) ; .
5.21. Упрощенные функции:
5.22. Функции проводимости упрощенных схем:
5.23. Аня вырастила маргаритки, Роза – анютины глазки, Маргарита – розы.
5.24. “Жигули”, номер начинается с семерки.
5.25. Ирена – победитель олимпиады по математике, Тимур – по географии, Камилла – по физике, Эльдар – по литературе, Залим – по информатике.
5.26. Пломбир с клубникой. Пояснение. Два других возможных варианта – шоколадное с орехами и шоколадное с бананами, не подходят по условию задачи (число вариантов, в которых не нравятся и тип мороженого и наполнитель, в этих случаях равно двум вместо одного).
5.27. Шумахер пришел первым, Кулхардт – вторым, Хилл – третьим и Алези – четвертым. Пояснение. Шумахер не четвертый, так как он пожимал четвертому руку; он не второй и не третий, так как пилоты, занявшие эти места поливали друг друга шампанским в то время как он пожимал руку. Следовательно, Шумахер первый. Далее, раз Хилл мокрый, то он занял одно из призовых мест, но не первое и не второе (поздравлял пилота, занявшего второе место). Следовательно, Хилл – третий. Кулхардт занял не четвертое место, так как он втаскивал на пьедестал пилота, занявшего четвертое место. Следовательно, он второй.
5.28. Добрыня Никитич.
5.29. Есть две возможности:
а) первый урок – информатика, второй – история, третий – физика;
б) первый урок – физика, второй – информатика, третий – история.
5.30. При отказе второго двигателя нельзя продолжать полет.
5.31. Первое место занял Саша, второе – Андрей, третье – Дима, четвертое – Виктор.
5.32. В экспедицию следует включить: аэронавтом – Геррети, космонавигатором – Кларка, биомехаником – Фриша, энергетиком – Депардье, врачом – Хорхеса, астрофизиком – Леонова.
– Конец работы –
Используемые теги: Лекция, Логические, основы, компьютеров0.071
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Лекция 5. Логические основы компьютеров
Если этот материал оказался полезным для Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов