Логические основы компьютера

свое название и обозначение.

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

Выделяют следующие логические операции:
инверсия;инверсия; конъюнкция;
дизъюнкция; импликация;
эквиваленция.

ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается.

Обозначается: ол

В естественном языке: соответствует словам "неверно, что..." и частице "не"

Диаграмма Эйлера-Венна:

Принимаемые значения: лрл

Диаграмма Эйлера-Венна:
В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества, т.е. множеству получившемуся в результате отрицания множества соответствует множество, дополняющее его до универсального множества.

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

Обозначается: ол

В естественном языке: соответствует союзу "и"

Принимаемые значения: лрл

Диаграмма Эйлера-Венна:
В алгебре множеств конъюнкции соответствует операция пересечения множеств, т.е. множеству получившемуся в результате умножения множеств А и В соответствует множество, состоящее из элементов, принадлежащих одновременно двум множествам.

(B - и). 10 делится на 2 и 5 больше 3 (A B - и).
10 не делится на 2 (A - л). 5 больше 3 (B - и). 10 не делится на 2 и 5 больше 3 (A B - л).
10 делится на 2 (A - и). 5 не больше 3 (B - л). 10 делится на 2 и 5 не больше 3 (A B - л).
10 не делится на 2 (A - л). 5 не больше 3 (B - л). 10 делится на 2 и 5 больше 3 (A B - л).

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

Обозначается: ол

В естественном языке: соответствует союзу "или"

Принимаемые значения: лрл

(B - и).
10 делится на 2 или 5 больше 3 (A B - и).
10 не делится на 2 (A - л). 5 больше 3 (B - и).
10 не делится на 2 или 5 больше 3 (A B - и).
10 делится на 2 (A - и). 5 не больше 3 (B - л).
10 делится на 2 или 5 не больше 3 (A B - и).
10 не делится на 2 (A - л). 5 не больше 3 (B - л).
10 не делится на 2 или 5 не больше 3 (A B - л).

это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.

Обозначается: ол

В естественном языке: соответствует обороту "если ..., то ..."

Принимаемые значения: лрл

можно описать окружность (B - и). Если данный четырёхугольник квадрат, то около него можно описать окружность (A B - и).
Данный четырёхугольник — не квадрат (A - л). Около данного четырёхугольника можно описать окружность (B - и). Если данный четырёхугольник не квадрат, то около него можно описать окружность (A B - и).
Данный четырёхугольник — квадрат (A - и). Около данного четырёхугольника нельзя описать окружность (B - л). Если данный четырёхугольник квадрат, то около него можно описать окружность (A B - л).
Данный четырёхугольник — не квадрат (A - л). Около данного четырёхугольника нельзя описать окружность (B - л). Если данный четырёхугольник не квадрат, то около него нельзя описать окружность (A B - и).

каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

Обозначается: ол

В естественном языке: соответствует оборотам речи
"тогда и только тогда"; "в том и только в том случае"

Принимаемые значения: лрл

3 (B - и). 24 делится на 6 тогда и только тогда, когда 24 делится на 3 (A B - и).
24 не делится на 6 (A - л). 24 делится на 3 (B - и). 24 не делится на 6 тогда и только тогда, когда 24 делится на 3 (A B - л).
24 делится на 6 (A - и). 24 не делится на 3 (B - л). 24 делится на 6 тогда и только тогда, когда 24 делится на 3 (A B - л).
24 не делится на 6 (A - л). 24 не делится на 3 (B - л). 24 не делится на 6 тогда и только тогда, когда 24 не делится на 3 (A B - и).

скобок договорились считать, что сначала выполняется операция
отрицания (“не”),
затем конъюнкция (“и”),
после конъюнкции — дизъюнкция (“или”)
и в последнюю очередь —
импликацияимпликация и эквиваленция

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

выражении.
2. Определить число строк в таблице, которое равно m = 2n.
3. Подсчитать количество логических операций в логическом выражении и определить количество столбцов в таблице: количество переменных + количество операций = количество столбцов.
4. Ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов.
5. Заполнить столбцы входных переменных наборами значений.
6. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной в п.4 последовательностью.

количество строк в таблице истинности должно быть 2*2*2=8.
Количество логических операций в формуле 5, следовательно количество столбцов в таблице истинности должно быть 3+5=8.

очень удобен для описания того, как функционируют аппаратные средства компьютера, поскольку основной системой счисления в компьютере является двоичная, в которой используются цифры 1 и 0, а значений логических переменных тоже два: "истина" (“1”) и "ложь" (“0”).
Из этого следует два вывода:
одни и те же устройства компьютера могут применяться для обработки и хранения как числовой информации, представленной в двоичной системе счисления, так и логических переменных;
на этапе конструирования аппаратных средств алгебра логики позволяет значительно упростить логические функции, описывающие функционирование схем компьютера, и, следовательно, уменьшить число элементарных логических элементов, из десятков тысяч которых состоят основные узлы компьютера.
Данные и команды представляются в виде двоичных последовательностей различной структуры и длины.

кодируется более высоким уровнем напряжения, чем ноль (или наоборот).

Например:

элементарную логическую функцию.

Логическими элементами компьютеров являются электронные схемы И, ИЛИ, НЕ, И-НЕ, ИЛИ-НЕ и другие (называемые также вентилями), а также триггер.
Каждый логический элемент имеет свое условное обозначение, которое выражает его логическую функцию, но не указывает на то, какая именно электронная схема в нем реализована. Это упрощает запись и понимание сложных логических схем. Работу логических элементов описывают с помощью таблиц истинности.

широко применяемая в регистрах компьютера для надёжного запоминания одного разряда двоичного кода. Триггер имеет два устойчивых состояния, одно из которых соответствует двоичной единице, а другое - двоичному нулю.
Термин триггер происходит от английского слова trigger - защёлка, спусковой крючок. Для обозначения этой схемы в английском языке чаще употребляется термин flip-flop, что в переводе означает “хлопанье”. Это звукоподражательное название электронной схемы указывает на её способность почти мгновенно переходить (“перебрасываться”) из одного электрического состояния в другое и наоборот.
Самый распространённый тип триггера собирается из четырех логических элементов "И-НЕ" (причем два из них играют вспомогательную роль) — так называемый RS-триггер (S и R, соответственно, от английских set — установка, и reset — сброс).
Условное обозначение триггера: