- •Тема 11. Телекоммуникационные технологии
- •Тема 1. Информация и информационные процессы введение
- •1.1. Информация. Информационные объекты различных видов
- •1.2. Виды и свойства информации
- •1.3. Основные информационные процессы. Хранение, передача и обработка информации
- •Вопросы для самоконтроля
- •Тема 2. Измерение информации
- •2.1. Подходы к измерению информации
- •2.2. Единицы измерения информации
- •2.3. Вероятностный подход к измерению информации
- •Вопросы для самоконтроля
- •Тема 3. Представление информации
- •3.1. Язык как способ представления информации. Кодирование информации
- •3.2. Позиционные и непозиционные системы счисления
- •3.3. Перевод чисел из одной системы счисления в другую
- •3.4. Арифметические операции в позиционных системах счисления
- •Вопросы для самоконтроля
- •Тема 4. Представление данных в компьютере
- •4.1. Компьютерное кодирование чисел
- •4.2. Компьютерное кодирование текста
- •4.3. Компьютерное кодирование графики
- •4.4. Компьютерное кодирование звука
- •Вопросы для самоконтроля
- •Тема 5. Программное обеспечение компьютера
- •5.1. Программное обеспечение компьютера. Классификация
- •5.2. Системное программное обеспечение. Операционные системы
- •5.3. Файлы и файловая система
- •5.4. Служебные программы
- •5.5. Компьютерные вирусы. Антивирусные программы
- •5.6. Системы программирования
- •5.7. Архивация
- •Вопросы для самоконтроля
- •Тема 6. Аппаратное обеспечение работы компьютера
- •6.1. История развития компьютерной техники
- •6.2. Классификация компьютеров. Компьютерные платформы
- •6.3. Функциональное устройство компьютера
- •6.4. Архитектура компьютера
- •6.5. Состав компьютера
- •6.6. Память компьютера и ее основные характеристики
- •Основные типы устройств хранения информации
- •6.7. Устройства ввода―вывода
- •6.8. Устройство обработки информации
- •6.9. Искусственный интеллект и достижения современной компьютерной техники
- •Вопросы для самоконтроля
- •Тема 7. Основы математической логики
- •7.1. Основные понятия формальной логики
- •7.2. Логические выражения и логические операции
- •7.3. Построение таблиц истинности для логических функций
- •7.4. Логические функции и их преобразования. Законы логики
- •7.5. Построение логических схем
- •7.6. Логическая реализация типовых устройств компьютера
- •Вопросы для самоконтроля
- •Тема 8. Основы алгоритмизации и программирования
- •8.1. Понятие об алгоритме и исполнителе алгоритмов. Свойства алгоритмов
- •8.2. Способы записи алгоритма
- •8.3. Основные алгоритмические конструкции
- •8.4. Линейный алгоритм
- •8.5. Разветвляющийся алгоритм
- •8.6. Циклический алгоритм
- •Вопросы для самоконтроля
- •Тема 9. Информационное моделирование
- •9.2. Объект, система, модель, моделирование
- •9.2. Виды моделей. Информационная модель
- •9.3. Этапы моделирования. Создание моделей
- •9.4. Компьютерное моделирование
- •Вопросы для самоконтроля
- •Тема 10. Информационные технологии
- •10.1. Операционные системы. Особенности операционной системы Windows
- •10.2. Работа c объектами Windows
- •10.3. Техника работы с окнами
- •10.4. Операции с файлами, папками и дисками
- •10.5. Практические задания
- •10.6. Создание и редактирование графических документов.
- •10.7. Растровая компьютерная графика
- •10.8. Векторная компьютерная графика
- •10.9 Графический редактор Paint
- •10.10. Текстовый редактор и процессор, интерфейс, возможности
- •10.11. Создание и редактирование табличных документов
- •10.12. Создание и редактирование баз данных
- •10.13. Создание и редактирование компьютерных презентаций
- •Вопросы для самоконтроля
- •Тема 11. Телекоммуникационные технологии
- •11.1. Компьютерные сети. Виды, классификация
- •11.2. Сетевое программное обеспечение и сетевой протокол
- •11.3. Локальные компьютерные сети
- •11.4. Глобальные компьютерные сети
- •11.5. Интернет. Сервисы сети Интернет
- •11.6. Поиск информации в Интернет
- •11.7. Правовые и этические нормы общения в сети Интернет
- •11.8. Практическая работа
- •Вопросы для самоконтроля
- •Литература (использована при создании электронного ресурса "Информатика и информационно―коммуникационные технологии", рекомендуется в качестве дополнительного материала для изучения школьниками)
7.4. Логические функции и их преобразования. Законы логики
Для операций конъюнкции, дизъюнкции и инверсии определены законы булевой алгебры, позволяющие производить тождественные (равносильные) преобразования логических выражений.
Законы логики 1. ¬¬ А <=> A закон двойного отрицания; 2. A&B <=> B&A коммутативность конъюнкции; 3. AVB <=> BVA коммутативность дизъюнкции; 4. A&(B&C) <=> (A&B)&C ассоциативность конъюнкции; 5. AV(BVC) <=> (AVB)VC ассоциативность дизъюнкции; 6. A&(BVC) <=> (A&B)V(A&C) дистрибутивность конъюнкции относительно дизъюнкции; 7. AV(B&C) <=> (AVB)&(AVC) дистрибутивность дизъюнкции относительно конъюнкции; 8. A&A <=> A 9. AVA <=> A 10. AV¬A <=> И закон исключенного третьего; 11. A&¬A <=> Л закон непротиворечия; 12. A&И <=> A 13. AVИ <=> И 14. A&Л <=> Л 15. AVЛ <=> A 16. ¬(A&B) <=> ¬ A V ¬ B законы де Моргана; 17. ¬(AVB) <=> ¬ A & ¬ B 18. A => B <=> ¬ A V B замена импликации.
Основываясь на законах, можно выполнять упрощение сложных логических выражений. Такой процесс замены сложной логической функции более простой, но равносильной ей, называется минимизацией функции. Пример 1. Упростить выражения так, чтобы в полученных формулах не содержалось отрицания сложных высказываний. Решение
Пример 2. Минимизировать функцию
Решение
При упрощении выражения использовались формулы поглощения и склеивания. Пример 3. Найти отрицание следующего высказывания: "Если урок будет интересным, то никто из учеников (Миша, Вика, Света) не будет смотреть в окно". Решение Обозначим высказывания: Y ― "Урок интересный"; M ― "Миша смотрит в окно"; B ― "Вика смотрит в окно"; C ― "Света смотрит в окно". При упрощении выражения использовались формула замены операций и закон де Моргана. Пример 4. Определить участника преступления, исходя из двух посылок: 1) "Если Иванов не участвовал или Петров участвовал, то Сидоров участвовал"; 2) "Если Иванов не участвовал, то Сидоров не участвовал". Решение Составим выражения: I ― "Иванов участвовал в преступлении"; P ― "Петров участвовал в преступлении"; S ― "Сидоров участвовал в преступлении". Запишем посылки в виде формул: Тогда
Проверим результат, используя таблицу истинности:
Ответ: Иванов участвовал в преступлении.
Построение логической функции по ее таблице истинности Мы научились составлять таблицу истинности для логической функции. Попробуем решить обратную задачу. Пусть дана таблица истинности для некоторой логической функции Z(X,Y):
X |
Y |
Z |
0 0 1 1 |
0 1 0 1 |
1 0 1 0 |
Рассмотрим строки, где значение истинности функции Z истинно (Z=1). Функцию для этой таблицы истинности можно составить следующим образом: Z(X,Y) = (¬ X& ¬Y)V(X& ¬Y). Каждой строке, где функция истинна (равна 1), соответствует скобка, представляющая собой конъюнкцию аргументов, причем если значение аргумента О, то мы берем его с отрицанием. Все скобки соединены между собой операцией дизъюнкции. Полученную формулу можно упростить, применив законы логики: Z(X,Y) <=> ((¬X& ¬Y) VX)&(( ¬X&Y)V ¬Y) <=> (XV( ¬X& ¬Y)) &( ¬YV(¬X&¬Y)) <=> ((XV¬X)&(XV ¬Y))&(( Y¬V ¬X)&( ¬YV ¬Y)) <=> (1&(XV ¬Y))&(( ¬YV ¬X)& ¬Y)<=> (XV ¬Y)&(( ¬YV ¬X)& ¬Y). Проверьте полученную формулу: составьте таблицу истинности для функции Z(X,Y). Запишите правила конструирования логической функции по ее таблице истинности: 1. Выделить в таблице истинности те строки, в которых значение функции равно 1. 2. Выписать искомую формулу в виде дизъюнкции нескольких логических элементов. Число этих элементов равно числу выделенных строк. 3. Каждый логический элемент в этой дизъюнкции записать в виде конъюнкции аргументов функции. 4. Если значение какого―либо аргумента функции в соответствующей строке таблице равно 0, то этот аргумент мы берем с отрицанием.