Презентация на тему Логические основы компьютеров

основы компьютеров

с помощью 0 и 1.
Задача – разработать оптимальные правила

которого можно однозначно сказать, истинно оно или ложно.
Высказывание или

открыта.
простые высказывания (элементарные)
Составные высказывания строятся из простых с помощью

A и B
A или не B
если A, то B
не A и B
A тогда и только
тогда, когда B

Сейчас идет дождь и открыта форточка.
Сейчас идет дождь или форточка закрыта.
Если сейчас идет дождь, то форточка открыта.
Сейчас нет дождя и форточка открыта.
Дождь идет тогда и только тогда, когда открыта форточка.

А" ложно, и наоборот.
1
0
0
1
таблица истинности операции НЕ
также:

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

B, A and B (Паскаль), A && B (Си)
0
0
конъюнкция –

A  B

Высказывание "A и B" истинно тогда и только тогда, когда А и B истинны одновременно.

B, A or B (Паскаль), A || B (Си)
1
1
дизъюнкция –

Высказывание "A или B" истинно тогда, когда истинно А или B, или оба вместе.

когда истинно А или B, но не оба одновременно.
0
0
также:

1

1

=
Свойства операции "исключающее ИЛИ"
A  0 =
A

A

0

?

истинно, если не исключено, что из А следует B.

1

1

1

0

B" истинно тогда и только тогда, когда А и

НЕ можно реализовать любую логическую операцию.

если два из них исправны.
A – "Датчик

X – "Неисправны датчики № 1 и № 2" или
"Неисправны датчики № 1 и № 3" или
"Неисправны датчики № 2 и № 3".

логическая формула

1, тавтология)
тождественно ложными (всегда 0, противоречие)
вычислимыми (зависят от исходных

их выражения через И, ИЛИ и НЕ:
Шаг 2. Раскрыть

элементах И-НЕ или ИЛИ-НЕ.
И:
НЕ:
ИЛИ:

схема, способная хранить 1 бит информации (1 или 0).

основной
выход

вспомогательный
выход

reset, сброс

set, установка

обратные связи

1

1

0

0

0

0

одноразрядных двоичных числа.
0 0
0

0 1

1 0

одноразрядных двоичных числа с переносом из предыдущего разряда.
Σ
сумма
перенос
перенос

двоичных числа.
перенос
перенос