Логические основы компьютеров. Что такое алгебра логики и логические высказывания? Алгебра логики это раздел математики, изучающий высказывания, рассматриваемые. - презентация

1 Логические основы компьютеров

2 Что такое алгебра логики и логические высказывания? Алгебра логики это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними. Логическое высказывание это любoе повествовательное пpедлoжение, в oтнoшении кoтopoгo мoжно oднoзначнo сказать, истиннo oнo или лoжнo. Разумеется, не всякое предложение является логическим высказыванием. Высказываниями не являются, например, предложения "ученик десятого класса" и "информатика интересный предмет". Первое предложение ничего не утверждает об ученике, а второе использует слишком неопределённое понятие "интересный предмет". Вопросительные и восклицательные предложения также не являются высказываниями, поскольку говорить об их истинности или ложности не имеет смысла. Чтобы обращаться к логическим высказываниям, им назначают имена. Пусть через А обозначено высказывание "Тимур поедет летом на море", а через В высказывание "Тимур летом отправится в горы". Тогда составное высказывание "Тимур летом побывает и на море, и в горах" можно кратко записать как А и В. Здесь "и" логическая связка, А, В логические переменные, которые могут принимать только два значения "истина" или "ложь", обозначаемые, соответственно, "1" и "0". Джордж Буль

3 Что такое логическая формула? С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой. Как показывает анализ формулы при определённых сочетаниях значений переменных A, B и C она принимает значение "истина", а при некоторых других сочетаниях значение ложь. Такие формулы называются выполнимыми. Формула А v В соответствующая высказыванию "Этот треугольник прямоугольный или косоугольный". Эта формула истинна и тогда, когда треугольник прямоугольный, и тогда, когда треугольник не прямоугольный. Такие формулы называются тождественно истинными формулами или тавтологиями. Высказывания, которые формализуются тавтологиями, называются логически истинными высказываниями. Если две формулы А и В одновременно принимают одинаковые значения, то они называются равносильными.

4 Логический элемент компьютера Логический элемент компьютера это часть электронной логической схемы, которая реализует элементарную логическую функцию. Логическими элементами компьютеров являются электронные схемы И, ИЛИ, НЕ, ИНЕ, ИЛИНЕ и другие (называемые также вентилями), а также триггер. С помощью этих схем можно реализовать любую логическую функцию, описывающую работу устройств компьютера. Обычно у вентилей бывает от двух до восьми входов и один или два выхода. Чтобы представить два логических состояния 1 и 0 в вентилях, соответствующие им входные и выходные сигналы имеют один из двух установленных уровней напряжения. Например, +5 вольт и 0 вольт. Высокий уровень обычно соответствует значению истина (1), а низкий значению ложь (0). Каждый логический элемент имеет свое условное обозначение, которое выражает его логическую функцию, но не указывает на то, какая именно электронная схема в нем реализована. Это упрощает запись и понимание сложных логических схем. Работу логических элементов описывают с помощью таблиц истинности. Таблица истинности это табличное представление логической схемы (операции), в котором перечислены все возможные сочетания значений истинности входных сигналов (операндов) вместе со значением истинности выходного сигнала (результата операции) для каждого из этих сочетаний.

5 Схема И Схема И реализует конъюнкцию двух или более логических значений. Условное обозначение на структурных схемах схемы И с двумя входами представлено на рис. 1. Ниже на рис. 2 представлена таблица истинности схемы И. Связь между выходом z этой схемы и входами x и y описывается соотношением: z = x. y (читается как x и y). Единица на выходе схемы И будет тогда и только тогда, когда на всех входах будут единицы. Когда хотя бы на одном входе будет ноль, на выходе тоже будет ноль. Операция конъюнкции на структурных схемах обозначается знаком "&" (читается как "амперсанд"), являющимся сокращенной записью английского слова and. Рис. 1 Рис. 2 y X x. y & x.yx.yyx Таблица истинности схемы И 1 0 0

6 Схема НЕ Схема НЕ (инвертор) реализует операцию отрицания. Связь между входом x этой схемы и выходом z можно записать соотношением z =, где читается как "не x" или "инверсия х. Если на входе схемы 0, то на выходе 1. Когда на входе 1, на выходе 0. Условное обозначение на структурных схемах инвертора на рисунке 1. Таблица истинности схемы НЕ изображена на рис. 2. Рис. 1 Рис. 2 X xX x 01

7 Схема ИЛИ Схема ИЛИ реализует дизъюнкцию двух или более логических значений. Когда хотя бы на одном входе схемы ИЛИ будет единица, на её выходе также будет единица. Условное обозначение на структурных схемах схемы ИЛИ с двумя входами представлено на рис. 1. Знак "1" на схеме от устаревшего обозначения дизъюнкции как ">=1" (т.е. значение дизъюнкции равно единице, если сумма значений операндов больше или равна 1). Связь между выходом z этой схемы и входами x и y описывается соотношением: z = x v y (читается как "x или y"). x y x v y 1 Рис. 1 xy Таблица истинности схемы ИЛИ Рис =1" (т.е. значение дизъюнкции равно единице, если сумма значений операндов больше или равна 1). Связь между выходом z этой схемы и входами x и y описывается соотношением: z = x v y (читается как "x или y"). x y x v y 1 Рис. 1 xy 000 011 101 111 Таблица истинности схемы ИЛИ Рис. 2 0 1 1">

8 Схема ИНЕ Схема ИНЕ состоит из элемента И и инвертора и осуществляет отрицание результата схемы И. Связь между выходом z и входами x и y схемы записывают следующим образом: z=x. y, где z=x. y читается как "инверсия x и y. Условное обозначение на структурных схемах схемы ИНЕ с двумя входами представлено на рисунке 1.Таблица истинности схемы ИНЕ на рис. 2. x y x. y & xyx.yx.y Таблица истинности схемы И-НЕ Рис. 1 Рис

9 Что такое триггер? Триггер это электронная схема, широко применяемая в регистрах компьютера для надёжного запоминания одного разряда двоичного кода. Триггер имеет два устойчивых состояния, одно из которых соответствует двоичной единице, а другое двоичному нулю. S R Q Q SPQ триг гер 00 запрещено Хранение бита Рис. 1 Таблица истинности триггера Рис. 2

10 Что такое сумматор? Сумматор это электронная логическая схема, выполняющая суммирование двоичных чисел. При сложении чисел A и B в одном i-ом разряде приходится иметь дело с тремя цифрами: 1. цифра a i первого слагаемого; 2. цифра bi второго слагаемого; 3. перенос p i –1 из младшего разряда. В результате сложения получаются две цифры: 1. цифра ci для суммы; 2. перенос pi из данного разряда в старший. ВходыВыходы I слага- емое II слага- емое ПереносСуммаПеренос

11 Действие сумматора I слага- емое II слага- емое ПереносСуммаПеренос 10101

12 Выполните задания 1. Подставьте в приведённые ниже высказывательные формы вместо логических переменных a, b, c, d такие высказывания, чтобы полученные таким образом составные высказывания имели смысл в повседневной жизни: а) если (а или (b и с)), то d; б) если (не а и не b), то (с или d); в) (а или b) тогда и только тогда, когда (с и не d). 2. Из двух данных высказываний a и b постройте составное высказывание, которое было бы: а) истинно тогда и только тогда, когда оба данных выказывания ложны; б) ложно тогда и только тогда, когда оба данных высказывания истинны. 3. Три девочки Роза, Маргарита и Анюта представили на конкурс цветоводов корзины выращенных ими роз, маргариток и анютиных глазок. Девочка, вырастившая маргаритки, обратила внимание Розы на то, что ни у одной из девочек имя не совпадает с названием любимых цветов. Какие цветы вырастила каждая из девочек?