- •Оглавление
- •1. Информация, ее представление и измерение
- •2. Общая характеристика процессов сбора, передачи и обработки информации
- •2.1. Системы счисления и действия в них
- •2.2. Общая характеристика процессов передачи информации
- •2.3. Кодирование и шифрование информации
- •2.4. Компьютерные вирусы
- •3. Модели решения функциональных и вычислительных задач
- •3.1. Модели и моделирование
- •3.2. Основные свойства модели и моделирования
- •Моделирование – есть метод системного анализа.
- •3.3. Классификация видов моделирования
- •3.4. Компьютерное моделирование
- •3.5. Функции алгебры логики
- •3.6. Булева алгебра. Функциональная полнота
- •8. Закон поглощения
- •9. Закон Де Моргана
- •3.7. Минимизация функций алгебры логики
- •4. Программные средства реализации информационных процессов
- •5. Технические средства реализации информационных процессов
- •6. Алгоритмизация и программирование
- •6.2. Данные, типы данных, структуры и обработка
- •7. Архитектура эвм. Локальные и глобальные сети.
- •7.1. Архитектура эвм
- •7.2. Cеть передачи данных
- •7.3. Аппаратные средства сети
- •7.4. Локальная вычислительная сеть
- •7.5. Топология сети
- •7.6. Глобальная вычислительная сеть
- •7.7. Сетевая модель osi
- •7.8. Стек протоколовTcp/ip
- •8. Программное обеспечение
- •8.1. Классификация и основные характеристики по
- •8.2. Структура технического обеспечения
- •8.3.Состав операционной системы и ее основные функции
- •9. Технология программирования
- •9.1. Организация данных в эвм
- •9.2. Стеки и очереди
- •9.3. Графы
- •9.4. Деревья
- •10. Базы данных
- •10.1. Основные понятия
- •10.2. Модели данных в субд
- •Реляционные базы данных
- •Выбор типа поля
- •10.3. Основные понятия реляционной модели
- •11. Объектно – ориентированное программирование
- •11.1. Основные положения ооп
- •11.2. Инкапсуляция
- •11.3. Полиморфизм
- •11.5. Наследование
- •Литература
3.5. Функции алгебры логики
Рассмотрим множество векторов X = {<x1... xn>}. Будем предполагать, что координаты этих векторов могут принимать значения 0 или 1. Таким образом множество X состоит из 2n векторов. Произведем отображение множества X в множество Y = {0, 1} [6].
Определение. Функцией алгебры логики называется функция, дающая однозначное отображение X в Y.
Определение. Если две функции алгебры логики f1(x1... xn) и
f2( x1... xn) принимают на всех наборах значений аргументов одинаковые значения, то их называют равными.
Теорема 1. Число различных функций алгебры логики, зависящих от n аргументов конечно и равно 2n.
Приведем иллюстрацию сказанного на основе анализа таблицы:
-
x1, x2,..., xn
f(x1, x2,..., xn )
00...00
a1
00...01
a2
00...10
a3
...
...
11...11
a2n
Как показывает таблица, задавая тот или иной конкретный двоичный набор аргументов, задается одна из возможных функций алгебры логики, принимающая значение 0 или 1. Различное число таких наборов равно 2n. Следовательно, число функций будет равно 2n.
Рассмотрим основные функции, которые играют важную роль в построении функций алгебры логики и ее приложениях:
1. f = X.
2. f = X (отрицание – инверсия).
3. f = 0.
4. f = 1.
5. f = X v Y (логическое сложение или дизъюнкция).
6. f = X Y (логическое умножение или конъюнкция).
7. f = X Y ( импликация).
8. f = X Y (функция Вебба).
9. f = X Y (стрелка Пирса).
10. f = X | Y (функция Шеффера).
11. f = X Y (сложение по модулю 2).
Эти одиннадцать функций алгебры логики позволяют строить новые функции, при этом используется два подхода:
подстановка в функцию новой функции вместо аргументов;
переобозначение аргументов.
Пример. Представить в виде таблицы функцию
f (X1,X2 ) = { ( X1 X2 ) v (X1 X2 ) } = X1 | X2.
Решение.
X1 |
X2 |
X1 X2 |
X1 X2 |
f |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
Пример. Показать, что X1 X2 = X1 v X2 на основе построения и сравнения функций по таблицам истинности.
Решение.
X1 |
X2 |
X1 X2 |
X1 |
X1 v X2 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
Рассмотрим свойства конъюнкции, дизъюнкции и отрицания.
Коммутативность
x1 & x2 = x2 & x1.
x1 v x2 = x2 v x1.
Ассоциативность
x1 v (x2 v x3) = (x1 v x2) v x3.
x1 & (x2 & x3) = (x1 & x2) & x3.
Дистрибутивность
x1 & (x2 v x3) = (x1 & x2) v ( x1 & x3 ).
x1 v (x2 & x3) = (x1 v x2) & ( x1 v x3 ).
Отметим также важные соотношения:
X v X = X, X & X = X, X v 1 = 1, X & 1 = X,
X v 0 = X, X & 0 = 0, X v X = 1, X & X = 0.
Положим x = { X , если = 1; X , если = 0 } .
Утверждение. Любая функция алгебры логики кроме 0 может быть представлена в форме
f(x 1...xn) = x1 & x2 ... & xn (3.1)
При этом дизъюнкция в правой части берется только по тем наборам аргументов, на которых функция, заданная таблично, обращается в 1.
Определение. Представление функции алгебры логики в виде (3.1) называется ДСНФ - дизъюнктивной совершенной нормальной формой.
Для построения ДСНФ необходимо выполнить следующие шаги:
выбрать в таблице истинности заданной функции все наборы аргументов, на которых функция равна 1;
выписать соответствующие этим наборам конъюнкции, при этом, если аргумент xi входит в данный набор как 1, то он записывается без изменений, если же как 0 , то берется ;
все полученные конъюнкции объединяются под знаком дизъюнкции.