СБОРНИК МЕТОДИЧЕСКИХ УКАЗАНИЙ ДЛЯ СТУДЕНТОВ ПО ВЫПОЛНЕНИЮ ПРАКТИЧЕСКИХ РАБОТ ДИСЦИПЛИНА «ИНФОРМАТИКА»

Министерство образования Республики Башкортостан
УФИМСКИЙ ГОСУДАРСТВЕННЫЙ КОЛЛЕДЖ РАДИОЭЛЕКТРОНИКИ







УТВЕРЖДАЮ
Зам. директора
_____________ Л.Р. Туктарова
«_____» ______________2014 г.







СБОРНИК МЕТОДИЧЕСКИХ УКАЗАНИЙ

ДЛЯ СТУДЕНТОВ ПО ВЫПОЛНЕНИЮ

ПРАКТИЧЕСКИХ РАБОТ

ДИСЦИПЛИНА «ИНФОРМАТИКА»

специальность 090303 «Информационная безопасность телекоммуникационных систем»

ДЛЯ СТУДЕНТОВ ОЧНОЙ ФОРМЫ ОБУЧЕНИЯ




СОГЛАСОВАНО
________________________Р.М.Халилова

РАССМОТРЕНО
на заседании кафедры программирования и информационных технологий
_______________________ М.Е. Бронштейн
«22» января 2014 г.
РАЗРАБОТЧИК
____________ Д.С. Масленникова










Уфа 2014 г.



СОДЕРЖАНИЕ


Стр.

Предисловие
3

Практическая работа № 1 «Составление алгоритмов и построение блок-схем»

5

Практическая работа № 2 «Применение логических операций формул логики»

8

Практическая работа № 3 «Представление функций в совершенной нормальной форме»

16














































ПРЕДИСЛОВИЕ

Методические указания для студентов по выполнению лабораторных работ являются частью основной профессиональной образовательной программы Государственного бюджетного образовательного учреждения среднего профессионального образования «Уфимский государственный колледж радиоэлектроники» по специальности СПО 090303 «Информационная безопасность телекоммуникационных систем» в соответствии с требованиями ФГОС СПО третьего поколения.
Методические указания для студентов по выполнению лабораторных работ адресованы студентам очной и заочной с элементами дистанционных технологий форм обучения.
Методические указания созданы в помощь для работы на занятиях, подготовки к лабораторным работам, правильного составления отчетов.
Приступая к выполнению практической работы, необходимо внимательно прочитать цель работы, ознакомиться с требованиями к уровню подготовки в соответствии с федеральными государственными стандартами третьего поколения (ФГОС-3), краткими теоретическими сведениями, выполнить задания работы, ответить на контрольные вопросы для закрепления теоретического материала и сделать выводы.
Отчет о лабораторной работе необходимо выполнить и сдать в срок, установленный преподавателем.
Наличие положительной оценки по лабораторным работам необходимо для допуска к экзамену, поэтому в случае отсутствия студента на уроке по любой причине или получения неудовлетворительной оценки за практическую необходимо найти время для ее выполнения или пересдачи.

Правила выполнения практических работ

1. Студент должен прийти на практическое занятие подготовленным к выполнению практической работы.
2. После проведения практической работы студент должен представить отчет о проделанной работе.
3. Отчет о проделанной работе следует выполнять в журнале практических работ на листах формата А4 с одной стороны листа.

Оценку по практической работе студент получает, если:
- студентом работа выполнена в полном объеме;
- студент может пояснить выполнение любого этапа работы;
- отчет выполнен в соответствии с требованиями к выполнению работы;
- студент отвечает на контрольные вопросы на удовлетворительную оценку и выше.
Зачет по выполнению лабораторных работ студент получает при условии выполнения всех предусмотренных программой работ после сдачи журнала с отчетами по работам и оценкам.

Внимание! Если в процессе подготовки к практическим работам или при решении задач возникают вопросы, разрешить которые самостоятельно не удается, необходимо обратиться к преподавателю для получения разъяснений или указаний в дни проведения дополнительных занятий.







Обеспеченность занятия (средства обучения):

Учебно-методическая литература:
- Информатика и информационные технологии: учебник для студентов вузов/ М.В. Гаврилов. - М.: Гардарики, 2006
- Информатика: учебник для сред. Проф. Образования/ Е.В. Михеева, О.И. Титова. – М.: Издательский центр « Академия», 2007
- Информационные технологии: В 2 ч./ Шафрин Ю.А.-М.: БИНОМ., 2008
- Немцова Т.И., Назарова Ю.В. Информатика. Практикум по информатике: учеб. Пособие/ Под ред. Л.Г. Гагариной Ч. I. – М.: ИД «ФОРУМ»: ИНФРА-М, 2008
- Попов В.Б. Turbo Pascal для школьников – М.: Финансы и статистика, 2007
- Партыка Т.Л., Попов И.И. Операционные системы, среды и оболочки: Учебное пособие.-2-е изд., испр. И доп. М.: ФОРУМ: ИНФРА-М, 2007
-Подгорнова О.В. Математические и логические основы электронно-вычислительной техники: учебник для сред. Проф. Образования.-М: Издательский центр « Академия», 2010

Справочная литература:
справочник по Turbo Pascal.

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

Программное обеспечение: MS Office, OC Windows, OC Unix, MS-DOS

Отчет по выполнению практических работ



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















Практическая работа 1
«Составление алгоритмов и построение блок-схем»

Цель работы: сформировать навыки построения алгоритмов с использованием циклов и ветвления (условий). Отработка навыков составления алгоритмов и представление их в виде блок-схем.

Образовательные результаты, заявленные во ФГОС третьего поколения:
Студент должен
уметь:
- строить логические схемы и алгоритмы;
- использовать средства операционных систем и сред для обеспечения работы вычислительной техники;
- использовать языки программирования строить логически правильные и эффективные программы;
- осваивать и использовать базовые системные программные продукты и пакеты прикладных программ.
.
знать:
- общий состав и структуру персональных ЭВМ и вычислительных систем;
- основные функции назначение и принципы работы распространенных операционных систем;
- состав, структуру, принципы реализации и функционирования информационных технологий;
- общие принципы построение алгоритмов основные алгоритмические конструкции;
- стандартные типы данных;
- базовые системные программные продукты и пакеты прикладных программ.



Краткие теоретические и учебно-методические материалы по теме практической работы:

Графический способ представления алгоритмов является более компактным и наглядным по сравнению со словесным. При графическом представлении алгоритм изображается в виде последовательности связанных между собой функциональных блоков, каждый из которых соответствует выполнению одного или нескольких действий.
Такое графическое представление называется схемой алгоритма или блок-схемой. В блок-схеме каждому типу действий (вводу исходных данных, вычислению значений выражений, проверке условий, управлению повторением действий, окончанию обработки и т.п.) соответствует геометрическая фигура, представленная в виде блочного символа. Блочные символы соединяются линиями переходов, определяющими очередность выполнения действий.
Схема следования состоит из двух блоков S1 и S2, каждый из которых в простейшем случае может быть арифметическим оператором. Эта структура означает, что два блока алгоритма могут быть размещены друг за другом.









Название символа
Обозначение
и пример заполнения
Пояснение

Процесс, присваивание
[ Cкачайте файл, чтобы посмотреть картинку ]
Вычислительное действие или последовательность действий (обрабатывает данные и размещает результаты в ячейки памяти с указанным именем)

Блок проверка условия
[ Cкачайте файл, чтобы посмотреть картинку ]
Проверка условий

Блок цикла с параметром
[ Cкачайте файл, чтобы посмотреть картинку ]
Начало цикла

Предопределенный процесс (блок обращения к подпрограмме)
[ Cкачайте файл, чтобы посмотреть картинку ]
  Вычисления по подпрограмме, стандартной подпрограмме

Ввод-вывод
[ Cкачайте файл, чтобы посмотреть картинку ]
Ввод-вывод в общем виде

Пуск-остановка
[ Cкачайте файл, чтобы посмотреть картинку ]
Начало, конец алгоритма, вход и выход в подпрограмму

Документ
[ Cкачайте файл, чтобы посмотреть картинку ]
Вывод результатов на печать


Схема ветвления в общем случае отвечает условному оператору и состоит из условия Р и блоков S1 и S2. Если один из блоков отсутствует, то приходим к неполному условному оператору. Она обеспечивает в зависимости от результата проверки условия (да или нет) выбор одного из альтернативных путей работы алгоритма. Каждый из путей ведет к общему выходу, так что работа алгоритма будет продолжаться независимо от того, какой путь будет выбран. Структура ветвление существует в четырех основных вариантах:
Если – то;
Если – то – иначе;
выбор;
выбор – иначе.

















Базовая структура  "цикл" обеспечивает многократное выполнение некоторой совокупности действий, которая называется телом цикла. Схема цикла состоит из логического элемента с проверкой условия Р и блока S, называемого телом цикла. В простейшем случае S является последовательностью обычных арифметических операторов. В случае, изображенном на рис. а, блок S размещен после проверки условия Р (цикл с предусловием). Этот вариант базовой структуры называется цикл-ПОКА. Во втором случае схемы цикла (рис. б) блок S расположен до проверки условия Р (цикл с постусловием). Этой структуре отвечает вариант цикл-ДО.


Задания для практического занятия:

Составить простые алгоритмы в двух видах (словесное описание и в виде блок-схемы):
Определить расстояние, пройденное человеком, если известно время, скорость движения, и движение было равномерным.
Вычислить значение: z = (5+a)/(7-y)
Создать алгоритм, в котором запрашивается имя и затем выводится на экран приветствие его обладателя.
Составить алгоритмы с использованием схемы ветвления в двух видах (словесное описание и в виде блок-схемы):
сказочного алгоритма: “Поехал Иван – Царевич на сером волке за Жар – Птицей. Ехал он, ехал, глядь – перед ним лежит огромный камень. На камне надпись: “Направо пойдешь – коня потеряешь, налево пойдешь – голову сложишь”
определения наибольшего из двух заданных целых чисел А и В
Составить блок-схему и алгоритм, в котором значение переменной вычисляется по формуле:
y = a + b, если а – нечетное и y = a*b, если а – четное (условие четности числа: а mod 2 = 0).
Составить алгоритмы с использованием схем циклов в двух видах (словесное описание и в виде блок-схемы):
алгоритм написания М, Ш (использование цикла N раз).
Составить алгоритм, который выводит на экран квадраты первых N натуральных чисел (от 1 до N) с использованием цикла с предусловием.
Составить алгоритм, который выводит на экран сумму квадратов первых N натуральных чисел (от 1 до N) с использованием цикла с постусловием.
Результаты показать учителю.


Контрольные вопросы:

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




Практическая работа 2
«Применение логических операций формул логики»

Цель работы: приобрести навыки применения алгебры логики.

Образовательные результаты, заявленные во ФГОС третьего поколения:
Студент должен
уметь:
- строить логические схемы и алгоритмы;
- использовать средства операционных систем и сред для обеспечения работы вычислительной техники;
- использовать языки программирования строить логически правильные и эффективные программы;
- осваивать и использовать базовые системные программные продукты и пакеты прикладных программ.
.
знать:
- общий состав и структуру персональных ЭВМ и вычислительных систем;
- основные функции назначение и принципы работы распространенных операционных систем;
- состав, структуру, принципы реализации и функционирования информационных технологий;
- общие принципы построение алгоритмов основные алгоритмические конструкции;
- стандартные типы данных;
- базовые системные программные продукты и пакеты прикладных программ.

Краткие теоретические и учебно-методические материалы по теме практической работы:

Логической основой компьютера является алгебра логики, которая рассматривает логические операции над высказываниями.
Алгебра логики – это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними.
Логическое высказывание – это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.
Пример. «3 – простое число» является высказыванием, поскольку оно истинно.
Не всякое предложение является логическим высказыванием.
Пример. предложение «Давайте пойдем в кино» не является высказыванием. Вопросительные и побудительные предложения высказываниями не являются.
Высказывательная форма – это повествовательное предложение, которое прямо или косвенно содержит хотя бы одну переменную и становится высказыванием, когда все переменные замещаются своими значениями.
Пример. «x+2>5» - высказывательная форма, которая при x>3 является истинной, иначе ложной. 
Алгебра логики рассматривает любое высказывание только с одной точки зрения – является ли оно истинным или ложным. Слова и словосочетания «не», «и», «или», «если..., то», «тогда и только тогда» и другие позволяют из уже заданных высказываний строить новые высказывания. Такие слова и словосочетания называются логическими связками.
Высказывания, образованные из других высказываний с помощью логических связок, называются составными (сложными). Высказывания, которые не являются составными, называются элементарными (простыми).
Пример. высказывание «Число 6 делится на 2» - простое высказывание. Высказывание «Число 6 делится на 2, и число 6 делится на 3» - составное высказывание, образованное из двух простых с помощью логической связки «и».
Истинность или ложность составных высказываний зависит от истинности или ложности элементарных высказываний, из которых они состоят.
Чтобы обращаться к логическим высказываниям, им назначают имена.
Пример. Обозначим через А простое высказывание «число 6 делится на 2», а через В простое высказывание «число 6 делится на 3». Тогда составное высказывание «Число 6 делится на 2, и число 6 делится на 3» можно записать как «А и В». Здесь «и» – логическая связка, А, В – логические переменные, которые могут принимать только два значения – «истина» или «ложь», обозначаемые, соответственно, «1» и «0».
Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение (табл. 1).
Таблица 1. Основные логические операции
 Обозначение операции
 Читается
 Название операции
 Альтернативные обозначения

 ¬
 НЕ
 Отрицание (инверсия)
 Черта сверху

[ Cкачайте файл, чтобы посмотреть картинку ]
 И
 Конъюнкция (логическое умножение)
 
· &

 [ Cкачайте файл, чтобы посмотреть картинку ]
 ИЛИ
 Дизъюнкция (логическое сложение)
 +

 
Если то 
 Импликация
[ Cкачайте файл, чтобы посмотреть картинку ] 

 
 Тогда и только тогда
 Эквиваленция
 ~

 XOR
 Либо либо
 Исключающее ИЛИ (сложение по модулю 2)
[ Cкачайте файл, чтобы посмотреть картинку ] 

НЕ Операция, выражаемая словом «не», называется отрицанием и обозначается чертой над высказыванием (или знаком ¬). Высказывание ¬А истинно, когда A ложно, и ложно, когда A истинно.
Пример. Пусть А=«Сегодня пасмурно», тогда ¬А=«Сегодня не пасмурно».
И Операция, выражаемая связкой «и», называется конъюнкцией (лат. conjunctio – соединение) или логическим умножением и обозначается точкой « » (может также обозначаться знаками [ Cкачайте файл, чтобы посмотреть картинку ]  или &). Высказывание А В истинно тогда и только тогда, когда оба высказывания А и В истинны.
Пример. Высказывание «Число 6 делится на 2, и число 6 делится на 3» - истинно, а высказывание «Число 6 делится на 2, и число 6 больше 10» - ложно.
ИЛИ Операция, выражаемая связкой «или» (в неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio – разделение) или логическим сложением и обозначается знаком [ Cкачайте файл, чтобы посмотреть картинку ]
(или плюсом). Высказывание А[ Cкачайте файл, чтобы посмотреть картинку ]В ложно тогда и только тогда, когда оба высказывания А и В ложны.
Пример: Высказывание «Число 6 делится на 2 или число 6 больше 10» - истинно, а высказывание «Число 6 делится на 5 или число 6 больше 10» - ложно.
ЕСЛИ ТО Операция, выражаемая связками «если , то», «из следует», «... влечет », называется импликацией (лат. implico – тесно связаны) и обозначается знаком . Высказывание АВ ложно тогда и только тогда, когда А истинно, а В ложно.
Пример. Высказывание «если студент сдал все экзамены на «отлично», то он получит стипендию». Очевидно, эту импликацию следует признать ложной лишь в том случае, когда студент сдал на «отлично» все экзамены, но стипендии не получил. В остальных случаях, когда не все экзамены сданы на «отлично» и стипендия получена (например, в силу того, что студент проживает в малообеспеченной семье) либо когда экзамены вообще не сданы и о стипендии не может быть и речи, импликацию можно признать истинной.

РАВНОСИЛЬНО Операция, выражаемая связками «тогда и только тогда», «необходимо и достаточно», «... равносильно », называется эквиваленцией или двойной импликацией и обозначается знаком или ~ . Высказывание АВ истинно тогда и только тогда, когда значения А и В совпадают.
Пример: Высказывание «Число является четным тогда и только тогда, когда оно делится без остатка на 2» является истинным, а высказывание «Число является нечетным тогда и только тогда, когда оно делится без остатка на 2» - ложно.
ЛИБО ЛИБО Операция, выражаемая связками «Либо либо», называется исключающее ИЛИ или сложением по модулю 2 и обозначается XOR или [ Cкачайте файл, чтобы посмотреть картинку ]. Высказывание А[ Cкачайте файл, чтобы посмотреть картинку ]В истинно тогда и только тогда, когда значения А и В не совпадают.
Пример. Высказывание «Число 6 либо нечетно либо делится без остатка на 2» является истинным, а высказывание «Либо число 6 четно либо число 6 делится на 3» – ложно, так как истинны оба высказывания входящие в него.
Замечание. Импликацию можно выразить через дизъюнкцию и отрицание:
[ Cкачайте файл, чтобы посмотреть картинку ].
Эквиваленцию можно выразить через отрицание, дизъюнкцию и конъюнкцию:
[ Cкачайте файл, чтобы посмотреть картинку ].
Исключающее ИЛИ можно выразить через отрицание, дизъюнкцию и конъюнкцию:
[ Cкачайте файл, чтобы посмотреть картинку ].
Операций отрицания, дизъюнкции и конъюнкции достаточно, чтобы описывать и обрабатывать логические высказывания.
Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания («не»), затем конъюнкция («и»), после конъюнкции – дизъюнкция («или») и исключающего или и в последнюю очередь – импликация и эквиваленция.
С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой (логическим выражением).
Логическая формула - это символическая запись высказывания, состоящая из логических величин (констант или переменных), объединенных логическими операциями (связками).
Логическая функция - это функция логических переменных, которая может принимать только два значения: 0 или 1. В свою очередь, сама логическая переменная (аргумент логической функции) тоже может принимать только два значения: 0 или 1.
Пример. [ Cкачайте файл, чтобы посмотреть картинку ] – логическая функция двух переменных A и B.
Значения логической функции для разных сочетаний значений входных переменных – или, как это иначе называют, наборов входных переменных – обычно задаются специальной таблицей. Такая таблица называется таблицей истинности.
Приведем таблицу истинности основных логических операций (табл. 2)
Таблица 2
 A
 B
 [ Cкачайте файл, чтобы посмотреть картинку ]
 [ Cкачайте файл, чтобы посмотреть картинку ]
 [ Cкачайте файл, чтобы посмотреть картинку ]
 [ Cкачайте файл, чтобы посмотреть картинку ]
 [ Cкачайте файл, чтобы посмотреть картинку ]
 [ Cкачайте файл, чтобы посмотреть картинку ]

 1
 1
 0
 1
 1
 1
 1
 0

 1
 0
 0
 0
 1
 0
 0
 1

 0
 1
 1
 0
 1
 1
 0
 1

 0
 0
 1
 0
 0
 1
 1
 0

Опираясь на данные таблицы истинности основных логических операций можно составлять таблицы истинности для более сложных формул.
Алгоритм построения таблиц истинности для сложных выражений: 1. Определить количество строк: 
количество строк = 2n + строка для заголовка, 
n - количество простых высказываний. 
2. Определить количество столбцов: 
количество столбцов = количество переменных + количество логических операций;
определить количество переменных (простых выражений); 
определить количество логических операций и последовательность их выполнени
Алгоритм построения логических схем
Определить число логических переменных.
Определить количество логических операций и их порядок.
Изобразить для каждой логической операции соответствующий ей логический элемент.
Соединить логические элементы в порядке выполнения логических операций.
Логические законы и правила преобразования логических выражений
Если две формулы А и В одновременно, то есть при одинаковых наборах значений входящих в них переменных, принимают одинаковые значения, то они называются равносильными.
В алгебре логики имеется ряд законов, позволяющих производить равносильные преобразования логических выражений.
1. Закон двойного отрицания: [ Cкачайте файл, чтобы посмотреть картинку ];
2. Переместительный (коммутативный) закон:
для логического сложения: [ Cкачайте файл, чтобы посмотреть картинку ] ;
для логического умножения: [ Cкачайте файл, чтобы посмотреть картинку ];
3. Сочетательный (ассоциативный) закон:
для логического сложения: [ Cкачайте файл, чтобы посмотреть картинку ] ;
для логического умножения:  [ Cкачайте файл, чтобы посмотреть картинку ] ;
4. Распределительный (дистрибутивный) закон:
для логического сложения: [ Cкачайте файл, чтобы посмотреть картинку ] ;
для логического умножения: [ Cкачайте файл, чтобы посмотреть картинку ] ;
5. Законы де Моргана:
для логического сложения: [ Cкачайте файл, чтобы посмотреть картинку ] ;
для логического умножения: [ Cкачайте файл, чтобы посмотреть картинку ] ;
6. Закон идемпотентности:
для логического сложения: [ Cкачайте файл, чтобы посмотреть картинку ] ;
для логического умножения: [ Cкачайте файл, чтобы посмотреть картинку ] ;
7. Законы исключения констант:
для логического сложения: [ Cкачайте файл, чтобы посмотреть картинку ];
для логического умножения: [ Cкачайте файл, чтобы посмотреть картинку ];
8. Закон противоречия:[ Cкачайте файл, чтобы посмотреть картинку ];
9. Закон исключения третьего: [ Cкачайте файл, чтобы посмотреть картинку ] ; 10. Закон поглощения:
для логического сложения: [ Cкачайте файл, чтобы посмотреть картинку ];
для логического умножения: [ Cкачайте файл, чтобы посмотреть картинку ];
11. Правило исключения импликации: [ Cкачайте файл, чтобы посмотреть картинку ];
12. Правило исключения эквиваленции: [ Cкачайте файл, чтобы посмотреть картинку ].
Справедливость этих законов можно доказать составив таблицу истинности выражений в правой и левой части и сравнив соответствующие значения.
Основываясь на законах, можно выполнять упрощение сложных логических выражений. Такой процесс замены сложной логической функции более простой, но равносильной ей, называется минимизацией функции.

Задания для практического занятия:

Задание 1. Составить таблицу истинности для формулы И–НЕ, которую можно записать так:[ Cкачайте файл, чтобы посмотреть картинку ].
Рекомендации к выполнению: 1. Определить количество строк: 
    На входе два простых высказывания: А и В, поэтому n=2 и количество строк =22+1=5. 2. Определить количество столбцов:
Выражение состоит из двух простых выражений (A и B) и двух логических операций (1 инверсия, 1 конъюнкция), т.е. количество столбцов таблицы истинности = 4. 3. Заполнить столбцы с учетом таблиц истинности логических операций (табл. 3).


Таблица 3. Таблица истинности для логической операции
 A
 B
 [ Cкачайте файл, чтобы посмотреть картинку ]
 [ Cкачайте файл, чтобы посмотреть картинку ]

 1
 1
 1
 0

 1
 0
 0
 1

 0
 1
 0
 1

 0
 0
 0
 1

Подобным образом можно составить таблицу истинности для формулы ИЛИ–НЕ, которую можно записать так:  
[ Cкачайте файл, чтобы посмотреть картинку ].
Таблица 4. Таблица истинности для логической операции
 A
 B
 [ Cкачайте файл, чтобы посмотреть картинку ]
 [ Cкачайте файл, чтобы посмотреть картинку ]

 1
 1
 1
 0

 1
 0
 1
 0

 0
 1
 1
 0

 0
 0
 0
 1

Примечание: И–НЕ называют также «штрих Шеффера» (обозначают | ) или «антиконъюнкция»; ИЛИ–НЕ называют также «стрелка Пирса» (обозначают ) или «антидизъюнкция».

Варианты задания:
 № варианта
 C

 1
[ Cкачайте файл, чтобы посмотреть картинку ]

 2
[ Cкачайте файл, чтобы посмотреть картинку ] 

 3
[ Cкачайте файл, чтобы посмотреть картинку ] 

 4
[ Cкачайте файл, чтобы посмотреть картинку ] 

 5
[ Cкачайте файл, чтобы посмотреть картинку ] 

 6
[ Cкачайте файл, чтобы посмотреть картинку ] 

 7
[ Cкачайте файл, чтобы посмотреть картинку ] 

 8
[ Cкачайте файл, чтобы посмотреть картинку ] 

 9
[ Cкачайте файл, чтобы посмотреть картинку ] 

 10
[ Cкачайте файл, чтобы посмотреть картинку ] 

Задание 2. Составить таблицу истинности логического выражения [ Cкачайте файл, чтобы посмотреть картинку ]. Рекомендации к выполнению: 1. Определить количество строк: 
    На входе два простых высказывания: А и В, поэтому n=2 и количество строк=22+1= 5. 2. Определить количество столбцов: 
    Выражение состоит из двух простых выражений (A и B) и пяти логических операций (2 инверсии, 2 конъюнкции, 1 дизъюнкция), т.е. количество столбцов таблицы истинности = 7.
Сначала выполняются операции инверсии, затем конъюнкции, в последнюю очередь операция дизъюнкции.
3. Заполнить столбцы с учетом таблиц истинности логических операций (табл. 5).
Таблица 5. Таблица истинности для логической операции [ Cкачайте файл, чтобы посмотреть картинку ]
 A
 B
 [ Cкачайте файл, чтобы посмотреть ссылку ]
 [ Cкачайте файл, чтобы посмотреть ссылку ]
 [ Cкачайте файл, чтобы посмотреть ссылку ]
 [ Cкачайте файл, чтобы посмотреть ссылку ]
 C

 1
 1
 0
 0
 0
 0
 0

 1
 0
 0
 1
 0
 1
 1

 0
 1
 1
 0
 1
 0
 1

 0
 0
 1
 1
 0
 0
 0

Логические формулы можно также представлять с помощью языка логических схем. 
Существует три базовых логических элемента, которые реализуют три основные логические операции:
логический элемент «И» – логическое умножение – конъюнктор;
логический элемент «ИЛИ» – логическое сложение – дизъюнктор;
логический элемент «НЕ» – инверсию – инвертор.
[ Cкачайте файл, чтобы посмотреть картинку ]
Поскольку любая логическая операция может быть представлена в виде комбинации трех основных, любые устройства компьютера, производящие обработку или хранение информации, могут быть собраны из базовых логических элементов, как из “кирпичиков”.
Логические элементы компьютера оперируют с сигналами, представляющими собой электрические импульсы. Есть импульс – логический смысл сигнала – 1, нет импульса – 0. На входы логического элемента поступают сигналы-значения аргументов, на выходе появляется сигнал-значение функции.
Преобразование сигнала логическим элементом задается таблицей состояний, которая фактически является таблицей истинности, соответствующей логической функции, только представлена в форме логических схем. В такой форме удобно изображать цепочки логических операций и производить их вычисления.

Задание 3. По заданной логической функции [ Cкачайте файл, чтобы посмотреть картинку ] построить логическую схему. Рекомендации к выполнению:
Число логических переменных = 2 (A и B).
Количество операций = 5 (2 инверсии, 2 конъюнкции, 1 дизъюнкция). Сначала выполняются операции инверсии, затем конъюнкции, в последнюю очередь операция дизъюнкции.
Схема будет содержать 2 инвертора, 2 конъюнктора и 1 дизъюнктор.
Построение надо начинать с логической операции, которая должна выполняться последней. В данном случае такой операцией является логическое сложение, следовательно, на выходе должен быть дизъюнктор. На него сигналы подаются с двух конъюнкторов, на которые, в свою очередь, подаются один входной сигнал нормальный и один инвертированный (с инверторов).
[ Cкачайте файл, чтобы посмотреть картинку ]

Варианты задания:
 № варианта
F(A,B)

 1
[ Cкачайте файл, чтобы посмотреть картинку ]

 2
[ Cкачайте файл, чтобы посмотреть картинку ]

 3
[ Cкачайте файл, чтобы посмотреть картинку ]

 4
[ Cкачайте файл, чтобы посмотреть картинку ]

 5
[ Cкачайте файл, чтобы посмотреть картинку ]

 6
[ Cкачайте файл, чтобы посмотреть картинку ]

 7
[ Cкачайте файл, чтобы посмотреть картинку ] 

 8
[ Cкачайте файл, чтобы посмотреть картинку ]

 9
[ Cкачайте файл, чтобы посмотреть картинку ]

 10
[ Cкачайте файл, чтобы посмотреть картинку ]

   

Задание 4.  Упростить логическое выражение [ Cкачайте файл, чтобы посмотреть картинку ]. Согласно закону де Моргана:
[ Cкачайте файл, чтобы посмотреть картинку ].
Согласно сочетательному закону:
[ Cкачайте файл, чтобы посмотреть картинку ].
Согласно закону противоречия и закону идемпотентности:
[ Cкачайте файл, чтобы посмотреть картинку ].
Согласно закону исключения 0:
[ Cкачайте файл, чтобы посмотреть картинку ] 
Окончательно получаем [ Cкачайте файл, чтобы посмотреть картинку ]/
Варианты задания:
 № варианта
D

 1
[ Cкачайте файл, чтобы посмотреть картинку ]

 2
[ Cкачайте файл, чтобы посмотреть картинку ]

 3
[ Cкачайте файл, чтобы посмотреть картинку ]

 4
[ Cкачайте файл, чтобы посмотреть картинку ]

 5
[ Cкачайте файл, чтобы посмотреть картинку ]

 6
[ Cкачайте файл, чтобы посмотреть картинку ]

 7
[ Cкачайте файл, чтобы посмотреть картинку ]

 8
[ Cкачайте файл, чтобы посмотреть картинку ]

 9
[ Cкачайте файл, чтобы посмотреть картинку ]

 10
[ Cкачайте файл, чтобы посмотреть картинку ]


    
Контрольные вопросы:
Что такое высказывание (приведите пример)? 
Что такое составное высказывание (приведите пример)? 
Как называются и как обозначаются (в языке математики) следующие операции: ИЛИ, НЕ, И, ЕСЛИ ТО, ТОГДА И ТОЛЬКО ТОГДА, ЛИБО ЛИБО?
Укажите приоритеты выполнения логических операций.
Составьте таблицу истинности для следующих операций: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция.
Изобразите функциональные элементы: конъюнктор, дизъюнктор, инвертор.
Какие логические выражения называются равносильными?
Записать основные законы алгебры логики.

Практическая работа 3
«Представление функций в совершенной нормальной форме»

Цель работы: Научиться представлять функций в совершенной нормальной форме

Образовательные результаты, заявленные во ФГОС третьего поколения:
Студент должен
уметь:
- строить логические схемы и алгоритмы;
- использовать средства операционных систем и сред для обеспечения работы вычислительной техники;
- использовать языки программирования строить логически правильные и эффективные программы;
- осваивать и использовать базовые системные программные продукты и пакеты прикладных программ.
.
знать:
- общий состав и структуру персональных ЭВМ и вычислительных систем;
- основные функции назначение и принципы работы распространенных операционных систем;
- состав, структуру, принципы реализации и функционирования информационных технологий;
- общие принципы построение алгоритмов основные алгоритмические конструкции;
- стандартные типы данных;
- базовые системные программные продукты и пакеты прикладных программ.


Краткие теоретические и учебно-методические материалы по теме практической работы:

Сложность логической функции, а отсюда сложность и стоимость реализующей ее схемы (цепи), пропорциональны числу логических операций и числу вхождений переменных или их отрицаний. В принципе любая логическая функция может быть упрощена непосредственно с помощью аксиом и теорем логики, но, как правило, такие преобразования требуют громоздких выкладок.
Поэтому более целесообразно использовать специальные алгоритмические методы минимизации, позволяющие проводить упрощение функции более про-сто, быстро и безошибочно. Если все конъюнктивные термы в ДНФ являются минтермами, т. е. содержат в точности по одной все логические переменные, взятые с отрицаниями или без них, то такая форма представления функции называется совершенной дизъюнктивной нормальной формой (СДНФ) этой функции. СДНФ называется совершенной, потому что каждый терм в дизъюнкции включает все переменные; дизъюнктивной, потому что главная операция в формуле – дизъюнкция. Понятие “нормальной формы” означает однозначный способ записи формулы, реализующей заданную функцию.
Формула называется тождественно-истинной (тавто-логией), если для любых наборов переменных она принимает значение И. Формула называется тождественно тождественно-ложной, если для любых наборов переменных она принимает значение Л
В алгебре высказываний используют две нормальные формы: дизъюнктивную  и конъюнктивную нормальные формы формулы (ДНФ и КНФ).
Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция простых конъюнкций. Конъюнктивной нормальной формой (КНФ)  формулы есть формула, равносильная исходной формуле логики высказываний и записанная в виде конъюнкции элементарных дизъюнкций переменных.
Каждая формула, не равная тождественно Л, может быть приведена СДНФ, которая является единственной с точностью до перестановки дизъюнктивных членов. Каждая формула, не равная тождественно И, может быть приведена к СКНФ, которая является единственной с точностью до перестановки конъюнктивных членов.
Совершенная дизъюнктивная нормальная форма формулы (СДНФ) это равносильная ей формула, представляющая собой дизъюнкцию элементарных конъюнкций, обладающая свойствами:
1. Каждое логическое слагаемое формулы содержит все высказывания, входящие в формулу.
2. Все логические слагаемые формулы различны
3. Ни одно логическое слагаемое не содержит высказывание и его отрицание
4. Ни одно логическое слагаемое формулы не содержит одно и то же высказывание дважды. Алгоритм получения СКНФ по таблице истинности:
1)Отметить те строки , в последнем столбце которых стоят 0:
2)Выписать для каждой отмеченной строки дизъюнкцию всех переменных следующим образом: если значение некоторой переменной в данной строке =0, то в дизъюнкцию включают саму эту переменную, если =1, то ее отрицание:
3)Все полученные дизъюнкции связать в конъюнкцию.

Задания для практического занятия:
Для заданной функции:
- найти двоичную форму булевой функции
- составить СДНФ функции
- минимизировать СДНФ функции
Задание




По результатам в последней колонке f(x, y, z) = (11110110)
2. Составим СДНФ функции. Функция принимает значение 1 на наборах 000, 001, 010, 011, 101, 110. Нулю соответствует переменная с отрицанием, единице – без отрицания. Получим СДНФ:

3. Минимизируем СКНФ функции, для этого:
- перегруппируем элементарные конъюнкции так чтобы между двумя членами, содержащими одинаковые переменные, вхождения которых (прямые и инверсные) совпали для всех переменных, кроме одной

- последние два члена нельзя сгруппировать, но, используя закон идемпотентности (АVA =A), продублируем подходящие коньюнкции:

- в этом случаем все переменные в паре, кроме одной, можно вынести за скобки

- а оставшееся в скобках прямое и инверсное вхождение одной переменной подвергнуть склейке



Варианты заданий



Контрольные вопросы:

1 Что такое дизъюнктивной нормальной формой (ДНФ)?
2 Что такое конъюктивная нормальной формой (КНФ)?
3 Свойства дизъюнкции элементарных конъюнкций?
4 Алгоритм получения СКНФ



















13PAGE 15


13PAGE 14215










Заголовок 1 Заголовок 2 Заголовок 3 Заголовок 4 Заголовок 5 Заголовок 6 Заголовок 7 Заголовок 8 Заголовок 915

Приложенные файлы