Приведите по 1 примеру истинных и ложных высказываний из математики, биологии, истории, информатики, литературы

Практическая работа №7

Тема:Логические основы построения компьютерной техники. Основные логические операции

Цель:научиться приводить примеры истинных и ложных высказываний, выполнять операции над высказываниями, составлять таблицы истинности.

Пособия и оборудование: методические указания по выполнению практической работы.

Ход работы:

1. Выполнить задания практической части
2. Ответить на контрольные вопросы
3. Выполнить отчет по проделанной работе. Отчет должен содержать: тему, цель, выполненные задания, ответы на контрольные вопросы, вывод о проделанной работе.

Теоретическая часть

Сумматор двоичных чисел

В целях максимального упрощения работы компьютера все многообразие математических операций в процессоре сводится к сложению двоичных чисел. Поэтому главной частью процессора являются сумматоры, которые как раз и обеспечивают такое сложение.

Полусумматор.Вспомним, что при сложении двоичных чисел в каждом разряде образуется сумма и при этом возможен перенос в старший разряд. Введем обозначения слагаемых (А, В), переноса (Р) и суммы (S). Таблица сложения одноразрядных двоичных чисел с учетом переноса в старший разряд выглядит следующим образом:

Из этой таблицы сразу видно, что перенос можно реализовать с помощью операции логического умножения:

Р = А & В.

Получим теперь формулу для вычисления суммы. Значения суммы близки к результату операции логического сложения (кроме случая, когда на входы подаются две единицы, а на выходе должен получиться нуль).

Нужный результат достигается, если результат логического сложения умножить на инвертированный перенос. Таким образом, для определения суммы можно применить следующее логическое выражение:

S = (A \/ B) & ( )

Построим таблицу истинности для данного логического выражения и убедимся в правильности нашего предложения (табл. 1.1).

Таблица 1.1. Таблица истинности логической функции

F = (A \/ B) & ( )

А	В	A \/ B	A & B		(A \/ B) & ( )

Теперь на основе полученных логических выражений можно построить из базовых логических элементов схему сложения одноразрядных двоичных чисел.

По логической формуле переноса легко определить, что для получения переноса необходимо использовать логический элемент «И».

Анализ логической формулы для суммы показывает, что на выходе должен стоять элемент логического умножения «И», который имеет два входа. На один из входов надо подать результат логического сложения исходных величин А и В, то есть на него должен подаваться сигнал с элемента «НЕ», а на второй вход должен поступать сигнал с элемента логического умножения «И» (рис. 4).

Рис. 4. Полусумматор двоичных чисел

Данная схема называется полусумматором, так как реализует суммирование одноразрядных двоичных чисел без учета переноса из младшего разряда.

Полный одноразрядный сумматор. Полный одноразрядный сумматор должен иметь три входа: А, В – слагаемые и Р₀ – перенос из младшего разряда и два выхода: сумму S и перенос Р. Таблица сложения в этом случае будет иметь следующий вид:

Идея построения полного сумматора точно такая же, как и полусумматора. Из таблицы сложения видно, что перенос (логическая переменная Р) принимает значение 1 тогда, когда хотя бы две входные логические переменные одновременно принимают значение 1. таким образом, перенос реализуется путем логического сложения результатов попарного логического умножения входных переменных (А, В, Р₀). Формула переноса получает следующий вид:

Р = (А & В) \/ (A & P₀) \/ (B & P₀).

Для получения значения суммы (логическая переменная S) необходимо результат логического сложения входных переменных (А, В, Р₀) умножить на инвертированный перенос :

S = (A \/ B \/ P₀) &

Данное логическое выражение дает правильные значения суммы во всех случаях, кроме одного, когда на все входные логические переменные принимают значение 1. Действительно:

Р = (1 & 1) \/ (1 & 1) \/ (1 & 1) = 1;

S = (1 \/ 1 \/ 1) & = 1 & 0 = 0.

Для получения правильного значения суммы (для данного случая переменная S должна принимать значение 1) необходимо сложить полученное выше выражение для суммы с результатом логического умножения входных переменных (А, В, Р₀). В результате логическое выражение для вычисления суммы в полном сумматоре принимает следующий вид:

S = (A \/ B \/ P₀) & \/ (A & B & P₀).

Многоразрядный сумматор. Многоразрядный сумматор процессора состоит из полных одноразрядных сумматоров. На каждый разряд ставится одноразрядный сумматор, причем выход (перенос) сумматора младшего разряда подключается ко входу сумматора старшего разряда.

Триггер.

Важнейшей структурной единицей оперативной памяти компьютера, а также внутренних регистров процессора является триггер. Это устройства позволяет запоминать, хранить и считывать информацию (каждый триггер может хранить 1 бит информации).

Триггер можно построить из двух логических элементов «ИЛИ» и двух элементов «НЕ».

В обычном состоянии на входы триггера подан сигнал 0, и триггер хранит 0. Для записи 1 на вход S (установочный) подается сигнал 1. Последовательно рассмотрев прохождение сигнала по схеме, видим, что триггер переходит в это состояние и будет устойчиво находиться в нем и после того, как сигнал на входе S исчезнет. Триггер запомнил 1, то есть с выхода триггер Q можно считать 1.

Для того чтобы сбросить информацию и подготовить к приему новой, подается сигнал1 на вход R (сброс), после чего триггер возвратится к исходному «нулевому» состоянию.

Практическая часть.

Приведите по 1 примеру истинных и ложных высказываний из математики, биологии, истории, информатики, литературы.

2. Из следующих предложений выбрать те, которые являются высказываниями:

2.1. Коля спросил: «Как пройти к Большому театру?»

2.2. Решение задачи – информационный процесс.

2.3. Какого цвета этот дом?

2.4. Число Х не превосходит единицы.

2.5. 4х+3.

2.6. Пейте томатный сок!

3. В приведенных предложениях вместо многоточия поставьте подходящие по смыслу слова «необходимо», «достаточно», «необходимо и достаточно». Получившиеся предложения должны быть истинными.

· Для того чтобы число делилось на 4, …, чтобы оно было четным.