|
Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
|
|
Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Лабораторная работа 5. Логические основы ЭВМ ⇐ ПредыдущаяСтр 5 из 5
Теоретическое обоснование Логическое высказывание – это любое утверждение, относительно которого можно сказать истинно оно или ложно, т.е. соответствует оно действительности или нет. Логические переменные – переменные, которые принимают только два значения –" истина" или " ложь", обозначаемые, соответственно, " 1" и " 0". В основе работы современных ЭВМ лежат три основные логические операции: 1) НЕ – отрицание, обозначается знаком иличертой над логической переменной. 2) ИЛИ – дизъюнкция или логическое сложение, обозначается знаком v или +. 3) И – конъюнкцияили логическое умножение, обозначается знаком &, или Используя операцииНЕ и ИЛИможно получить операцию ЕСЛИ-ТО, которая выражается связками " если..., то", " из... следует", "... влечет...", называется импликацией и обозначается знаком → . Используя операцииНЕ, ИЛИ, Иможно получить операцию РАВНОСИЛЬНО, которая выражается связками " тогда и только тогда", " необходимо и достаточно", "... равносильно...", называется эквиваленцией или двойной импликацией и обозначается знаком ↔ или знаком ~. Приоритет(порядок выполнения)логических операций по убыванию: операции в скобках, операция отрицания, операция конъюнкции, дизъюнкция, импликация и в последнюю очередь – эквивалентность. Таблица истинности представляет собой таблицу, устанавливающую соответствие между всевозможными наборами значений переменных и значениями функций.
Функция, которая принимает: - значение " истина" для всех наборов значений переменных, называется тождественно истинной функцией или тавтологией; - значение " ложь" для всех наборов значений переменных, называется тождественно ложной функциейили противоречием; - для некоторых наборов значений переменных значение " истина", а для других – значение " ложь", называется выполнимой логической функцией. Если две функции А и В при одинаковых наборах значений входящих в них переменных, принимают одинаковые значения, то они называются равносильными. Для составления таблицы истинности для логических выражений надо: 1) Определить количество строк в таблице: К=2n, где n – количество переменных. 2) Вычислить количество столбцов в таблице = количество переменных + количество логических операций. 3) Установить последовательность выполнения логических операций в соответствии с приоритетом. 4) Построить таблицу истинности и заполнить значениями. Пример: Составить таблицу истинности для функции F= x& y v (x v y) v x. Функция F содержит две переменные x и y. Количество строк в таблице: К=2n=4. Количество столбцов в таблице=2+6=8. Последовательность действий: 1) x v y 2) x 3) ( x v y) 4) x& y 5) x& y v (x v y) 6) x& y v (x v y)v x Строим таблицу истинности и заполняем значениями:
Из таблицы видно, что при всех наборах значений переменных x и y, функция F=x& y v ( x v y ) v x принимает значение 1, то есть функция F является тождественно истинной функцией или тавтологией. Для операций конъюнкции, дизъюнкции и инверсии определены законы булевой алгебры, позволяющие производить тождественные (равносильные) преобразования логических выражений. Законы логики Задания: 1)Построить таблицу истинностии определить виддля логических функций: f=AvB& Cv(AvC) и z= AvB& C& (AvB→ C). 2) Построить таблицу истинности логической функции F=
Список рекомендуемой литературы Андреева Е.В., Босова Л.Л., Филина И.Н. Математические основы информатики.Учебное пособие – М.: БИНОМ. Лаборатория знаний, 2005 -328 с.
Методические указания к выполнению практических работ по дисциплине «Информатика» для студентов специальностей: 130100 «Геология и разведка полезных ископаемых» 130201 «Геофизические методы поисков и разведки месторождений полезных ископаемых» 130304 «Геология нефти и газа» 130500 «Нефтегазовое дело» 130501 «Проектирование, сооружение и эксплуатация газонефтепроводов и газонефтехранения» 130503 «Разработка и эксплуатация нефтяных и газовых месторождений» 130504 «Бурение нефтяных и газовых скважин» 190603 «Сервис транспортных и технологических машин и оборудование» 190702 «Организация и безопасность движения» 151001 «Технология машиностроения» 190500 «Эксплуатация транспортных средств» 080105 «Финансы и кредит» 080502 «Экономика и управление на предприятии» 550700 «Электроника и микроэлектроника»
Авторы: Гахова Н. Н., Катков К. А.
Редактор: ________________________________________________________________ Подписано в печать Формат 60х84 1/16. Усл. п.л. – 2, 5 Усл. – изд. л. – 2, 0. Бумага газетная. Печать офсетная. Заказ № Тираж 100 экз. ГОУВПО «Северо-Кавказский государственный технический университет» 355028, г. Ставрополь, пр. Кулакова, 2 Издательство Северо-Кавказского государственного технического университета Типография СевКавГТУ Популярное:
|
Последнее изменение этой страницы: 2017-03-03; Просмотров: 981; Нарушение авторского права страницы
или *.