Логические операции

Математические основы информатики.

Структуры данных.

Системы компьютерной графики.

Структуры данных. Математические основы информатики.

Работа с большим количеством данных автоматизируется при помощи упорядочивания данных. Существуют следующие основные структуры упорядочивания данных: линейная (списки), табличная и иерархическая (дерево).

Линейная структура данных (или список) – это упорядоченная структура, в которой адрес данного однозначно определяется его номером (индексом).

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

Иерархическая структура упорядочивания данных применяется, когда данные трудно представить в виде списка или таблицы. Адрес элемента в иерархической структуре определяется путем (или маршрутом доступа), идущим от вершины структуры к данному элементу.

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

Наиболее важное прикладное значение для информатики имеет алгебра высказываний (или булева алгебра). Основное понятие булевой алгебры – высказывание. Под высказыванием понимается простое повествовательное предложение, о котором можно сказать, истинно оно или ложно (другого быть не может). Высказывания обычно обозначают латинскими буквами (A, B, C, D и др.), и они могут принимать одно из двух значений: ЛОЖЬ (обозначим 0) или ИСТИНА (обозначают 1).

Два высказывания называют равносильными, если они имеют одинаковое значение истинности (А=В=0, или А=В=1).

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

Операцией отрицания А называют высказывание Ā (иногда обозначают ¬А, произносят как не А), которое истинно тогда, когда А ложно; или наоборот. Операции отрицания соответствует языковая конструкция, использующая частицу НЕ. Операцию отрицания можно записать в виде таблицы, называемой таблицей истинности:

А	Ā

Конъюнкцией (логическим умножением) двух высказываний А и В является новое высказывание С, которое истинно только тогда, когда истинны оба высказывания (С=А٨В или С=А&В, говорят С равно А и В). Операции конъюнкции соответствует языковая конструкция, использующая частицу И. Таблица истинности операции конъюнкции имеет вид:

А	В	А٨В

Дизъюнкцией (логическим сложением) двух высказываний А и В является новое высказывание С, которое истинно, если истинно хотя бы одно высказывания. Записывается С=А۷В (при этом говорится С равно А или В). Операции дизъюнкции соответствует языковая конструкция, использующая частицу ИЛИ. Таблица истинности операции конъюнкции имеет вид:

А	В	А۷С

Импликацией двух высказываний А (А называется посылкой) и В (В называется заключением) является новое высказывание С, которое ложно только тогда, когда посылка истина, а заключение ложно. Записывается в виде С=А→В (при этом говорится из А следует В). Таблица истинности имеет следующий вид:

А	В	А→С

Импликация имеет следующие свойства:

А→В ≠ В→А; А→А = 1; 0→А = 1; 1→А = А; А→1 = 1; А→0 = Ā.

Эквиваленцией двух высказываний А и В является новое высказывание С, которое истинно только тогда, когда оба высказывания имеют одинаковые значения истинности, записывается в виде С=А↔В (произносится как А равносильно В). Таблица истинности имеет следующий вид:

А	В	А↔С

Эквиваленция имеет следующие свойства:

А↔В = В↔А, А↔В = В↔Ā, А↔1 = А, А↔0 = Ā.

Дата добавления: 2014-01-06