Теорія

 

Формы мышления

Логика — это наука о формах и способах мышления. Первые учения о формах и способах рассуждений возникли в странах Древнего Востока. Основы формальной логики заложил Аристотель.

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

По отношению друг к другу понятия делятся на сравнимые и не сравнимые (романс и кирпич, безответственность и нитка)

У сравнимых понятий бывают совместимыми или несовместимыми их объемы: (проиллюстрируем примеры с помощью кругов Эйлера–Венна)

Логическое высказывание (суждение) — это любое повествовательное пpедлoжение, в oтнoшении кoтopoгo мoжно oднoзначнo сказать  истиннo oнo или лoжнo.

Предложение «6 — четное число» истинное высказыванием

Предложение «Рим — столица Франции» ложное высказывание

Луна — спутник Земли» – истинное высказыванием.

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

Общее высказывание  начинается (или  можно начать) со слов: все, всякий, каждый, ни один. «Все рыбы умеют плавать»— общее высказывание.

Частное высказывание начинается  (или  можно начать) со слов: некоторые, большинство, и т.п. «Некоторые медведи- бурые» — частное высказывание.

Во всех других случаях высказывание является единичным. «Буква А-гласная»- единичное высказывание.

Высказывания могут быть простыми и сложными.

Примеры простых высказываний: Лето очень жаркое. Снегири прилетели. Идет дождь.

Примеры сложных высказываний: Пришла весна, и появились подснежники. Если я хорошо сдам экзамены, то поступлю в институт.

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

Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).

Пример: Все металлы – простые вещества. Литий – металл. Следовательно, литий – простое вещество.

 

Алгебра высказываний

Высказывание – повествовательное предложение, о котором можно сказать истинно оно или ложно. В алгебре простым высказываниям ставятся в соответствии логические переменные (А, В, С и т.д.)

Логическая переменная – это простое высказывание.
 Логические переменные обозначаются прописными и строчными латинскими буквами (a-z, A-Z) и могут принимать всего два значения – 1, если высказывание истинно, или 0, если высказывание ложно.

 Пример высказываний:

 

 

 

 

 

 

 

 

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

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

 

 

Многие люди  не любят сырую погоду.

Пусть А = «Многие люди любят сырую погоду». Получаем логическую функцию F(A) = не А.

Связки «НЕ», «И», «ИЛИ» заменяются логическими операциями инверсия, конъюнкция, дизъюнкция. Это основные логические операции, при помощи которых можно записать любое логическое выражение.

Логическая формула (логическое выражение) — формула, содержащая лишь логические величины и знаки логических операций. Результатом вычисления логической формулы является ИСТИНА (1) или ЛОЖЬ (0).

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

 

                                                                      Основные (базовые) логические операции:

1. Логическое умножение (конъюнкция), от лат. konjunctio – связываю:
•    Объединение двух (или нескольких) высказываний в одно с помощью союза И;
•     в языках программирования — And.
•    Принятые обозначения: /\ , •, и, and.
•    В алгебре множеств конъюнкции соответствует операция пересечения множеств.

 

 

 

 

 

 

Конъюнкция истинна тогда и только тогда, все, входящие в нее высказывания истинны.

Пример:
Рассмотрим составное высказывание  «2 • 2 = 4 и 3 • 3 = 10». Выделим простые высказывания:
А = «2 • 2 = 4» = 1 (т.к. это истинное высказывание)
В = «3 • 3 = 10» = 0 (т.к. это ложное высказывание)
Поэтому, логическая функция F(A, B) = A /\ B = 1 /\ 0 = 0 (в соответствии с таблицей истинности), то есть данное составное высказывание ложное.

2. Логическое сложение (дизъюнкция), от лат. disjunctio – различаю:
•    Объединение двух (или нескольких) высказываний в одно с помощью союза ИЛИ;
•     в языках программирования — Or.
•    Обозначение:  \/, +, или, or.
•    В алгебре множеств дизъюнкции соответствует операция объединения множеств.

 

 

 

 

 

 

Дизъюнкция ложна тогда и только тогда, все, входящие в нее высказывания ложны.

Пример:
Рассмотрим составное высказывание  «2 • 2 = 4 или 2 • 2 = 5». Выделим простые выска-зывания:
А = «2 • 2 = 4» = 1 (т.к. это истинное высказывание)
В = «2 • 2 = 5» = 0 (т.к. это ложное высказывание)
Поэтому, логическая функция F(A, B) = A \/ B = 1 \/ 0 = 1 (в соответствии с таблицей истинности), то есть данное составное высказывание истинно.

3. Отрицание (инверсия), от лат. InVersion – переворачиваю:

•    Соответствует частице НЕ, словосочетаниям НЕВЕРНО, ЧТО или НЕ ЯВЛЯЕТСЯ ИСТИНОЙ, ЧТО;
•    в языках программирования — Not;
•    Обозначение: не А, ¬А, not
•    В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества.

 

 

 

 

 

 

Инверсия логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.

 Пример:

А = {два умножить на два равно четырем} = 1.

 ¬A= {Неверно, что два умножить на два равно четырем}= 0.

Рассмотрим высказывание А : «Луна — спутник Земли«;  тогда   ¬А будет формулироваться так:  «Луна — не спутник Земли«.

Рассмотрим высказывание: «Неверно, что 4 делится на 3». Обозначим через А простое высказывание «4 делится на 3». Тогда логическая форма отрицания этого высказывания имеет вид ¬А

 

Приоритет логических операций:

Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке:
     1. инверсия;
     2. конъюнкция;
     3. дизъюнкция;
Для изменения указанного порядка выполнения логических операций используются круглые скобки.

Составные логические выражения алгебры высказываний называют формулами.
Истинно или ложно значение формулы можно определить законами алгебры логики, не обращаясь к смыслу:
F = (0 \/ 1) /\ (¬0 \/ ¬1) = (0 \/ 1) /\ (1 \/ 0) =1 /\ 1=1 — истина
F = (¬0 /\ ¬1) \/ (¬1 \/ ¬1) = (1 /\ 0) \/ (0 \/ 0) = 0 \/ 0 = 0 — ложь

 

Логические функции

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

·в естественном языке — если …, то …; когда …,тогда;коль скоро…,то и т.п.;

  ·обозначения=>

Например, дано сложное высказывание: «Если выглянет солнце, то станет тепло». Для того, чтобы преобразовать высказывание к логической формуле, необходимо выделить простые высказывания: А = «выглянет солнце», В = «станет тепло».

Тогда логическая форма имеет вид А => В.

 

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

·в естественном языке — тогда и только тогда; в том и только в том случае; если и только если;

·обозначения<=>, ~.

       Например, дано сложное высказывание: «Людоед голоден тогда и только тогда, когда он давно не ел». Чтобы преобразовать его к логической формуле, необходимо выделить простые высказывания А = «людоед голоден», В = «он давно не ел».

Тогда логическая формула имеет вид А <=>В.

 Приоритет логических операций: действия в скобках, ¬, /\, \/,=>,

 

 

Логические выражения и таблица истинности

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

Логическое выражение — составные высказывания в виде формулы.

Равносильные логические выражения – логические выражения, у которых последние столбцы таблиц истинности совпадают. Для обозначения равносильности используется знак «=».

Алгоритм построения  таблицы  истинности:

1.    подсчитать количество переменных n в логическом выражении;

2.   определить число строк в таблице по формуле m=2ⁿ, где n — количество переменных;

3.   подсчитать количество логических операций в формуле;

4.   установить последовательность выполнения логических операций с учетом скобок и приоритетов;

5.   определить количество столбцов: число переменных + число операций;

6.   выписать наборы входных переменных;

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

Заполнение таблицы:

1.      разделить колонку значений первой переменной пополам и заполнить верхнюю часть «0», а нижнюю «1»;

2.      разделить колонку  значений  второй переменной на четыре части и заполнить каждую четверть чередующимися группами «0» и «1», начиная с группы «0»;

3.      продолжать деление колонок значений последующих переменных на 8, 16 и т.д. частей и заполнение их группами «0» или «1» до тех пор, пока группы «0» и «1» не будут состоять из одного символа.

 

Пример 1. Для формулы  A/\ (B \/ ¬B /\¬C) постройте  таблицу истинности.

 Количество логических переменных 3, следовательно, количество строк — 2³ = 8.

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

 

 

 

 

 

 

Пример 2. Определите истинность  логического выражения  F(А, В) = (А\/ В)/\(¬А\/¬В) .

1. В выражении две переменные А и В (n=2).

2.  m_строк=2ⁿ, m=2²=4 строки.

3. В формуле 5 логических операций.

4. Расставляем порядок действий

1) А\/ В;  2) ¬А;  3) ¬В;  4) ¬А\/¬В;  5) (А\/ В)/\(¬А\/¬В).

5. К_{столбцов}=n+5=2+5=7 столбцов.

 

А	В	А\/ В	¬А	¬В	¬А\/¬В	F
0	0	0	1	1	1	0
0	1	1	1	0	1	1
1	0	1	0	1	1	1
1	1	1	0	0	0	0

 Вывод: логическое выражение принимает значение истина при наборах F(0,1)=1 и F(1,0)=1.

 

Пример 3. Построёте таблицу истинности для логического выражения

F = (A\/ B) /\ ¬С

1. В данной функции три логические переменные – А, В, С
2. количество строк таблицы = 2³ =8
3. В формуле 3 логические операции.
4. Расставляем порядок действий

1) А\/ В;  2) ¬С; 3) (AVB) /\ ¬С  .

5. количество столбцов таблицы = 3 + 3 = 6

А	В	С	A\/B	¬С	(A\/B) /\ ¬С
0	0	0	0	1	0
0	0	1	0	0	0
0	1	0	1	1	1
0	1	1	1	0	0
1	0	0	1	1	1
1	0	1	1	0	0
1	1	0	1	1	1
1	1	1	1	0	0

 

Пример 4.  Определите истинность формулы: F = ((С \/В) =>  В) /\ (А /\ В) => В.

Построим таблицу истинности этой формулы.

 

 

 

 

 

 

Ответ: формула является тождественно истинной.

Пример 5. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z.

Дан фрагмент таблицы истинности выражения F:

 

X	Y	Z	F
0	0	0	1
0	0	1	0
0	1	0	1

 

Какое выражение соответствует F?

 1) ¬X/\¬Y/\Z                      2) ¬X\/¬Y\/Z                  3) X\/Y\/¬Z              4) X\/Y\/Z

 Решение (вариант 1, через таблицы истинности):

Чтобы решить данную задачу можно построить часть таблицы истинности для каждой из четырех функций, заданных в ответе для заданных наборов входных переменных, и сравнить полученные таблицы с исходной:

X	Y	Z	F	¬X	¬Y	¬Z	¬X/\¬Y/\Z	¬X\/¬Y\/Z	X\/Y\/¬Z	X\/Y\/Z
0	0	0	1	1	1	1	0	1	1	0
0	0	1	0	1	1	0	1	1	0	1
0	1	0	1	1	0	1	0	1	1	1

 Очевидно, что значения заданной функции F совпадают со значениями выражения X\/Y\/¬Z. Следовательно, правильный ответ – 3.

Ответ: 3

 Решение (Вариант 2):

Чтобы не строить таблицу истинности для каждого выражения, можно просто перепроверить предложенные ответы по заданной таблице истинности. Т.е. в каждую из четырех предложенных функций последовательно подставлять значения переменных X, Y  и Z, из заданной таблицы истинности и вычислять значения логического выражения. Если значения вычисляемого выражения совпадут со значением F во всех трех строчках заданной таблицы, то это и есть искомое выражение.

 Рассмотрим данный конкретный пример:

1)      первое заданное выражение  ¬X/\¬Y/\Z = 0 при X=0, Y=0, Z=0, что не соответствует первой строке таблицы;

2)      второе заданное выражение ¬X\/¬Y\/Z = 1 при X=0, Y=0, Z=1, что не соответствует  второй строке таблицы;

3)      третье выражение   X\/Y\/¬Z    соответствует F при всех предложенных комбинациях X,Y и Z;

4)      четвертое выражение X\/Y\/Z = 1 при X=0, Y=0, Z=1, что не соответствует второй строке таблицы.

Ответ: 3

 

Законы алгебры логики и правила преобразования логических выражений

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

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

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

Закон	Формулировка
1.      Закон тождества Х = Х	Всякое высказывание тождественно самому себе.
2.      Закон исключенного третьего   X \/ ¬X = 1	Высказывание может быть либо истинным, либо ложным, третьего не дано. Следовательно, результат логического сложения высказывания и его отрицания всегда принимает значение «истина».
3.      Закон непротиворечия   X/\ ¬X = 0	Высказывание не может быть одновременно истинным и ложным. Если высказывание Х истинно, то его отрицание НЕ Х должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания должно быть ложно.
4.      Закон двойного отрицания ¬¬X = X	Если дважды отрицать некоторое высказывание, то в результате получим исходное высказывание.
5.      Переместительный (коммутативный) закон X /\ Y = Y /\ X X /\ Y = YX /\	Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.
6.      Сочетательный (ассоциативный) закон (X \/Y) \/Z = X \/  (Y \/Z) (X/\Y)/\Z=X/\(Y/\Z)	При одинаковых знаках скобки можно ставить произвольно или вообще опускать.
5.      Распределительный (дистрибутивный) закон (X /\ Y) \/ Z= (X /\ Z) \/ (Y /\ Z) (X /\ Y) \/ Z =  (X \/ Z) /\ (Y \/ Z)	Определяет правило выноса общего высказывания за скобку.
7.      Закон общей инверсии Закон де Моргана ¬(X \/ Y) = ¬X /\ ¬Y ¬(X /\ Y) = ¬X \/ ¬Y	Закон общей инверсии.
8.    Закон равносильности (идемпотентности) A\/A= A; A/\ A = A.	от латинских слов idem — тот же самый и potens —сильный
9.      Законы исключения констант: A\/ 1 = 1,     A\/ 0 = A; A/\1 = A,     A/\0 = 0.
10.      Закон поглощения: A\/ (A/\B) = A; A/\ (A\/B) = A.
11.  Закон исключения (склеивания): (A/\B) \/ (¬A/\B) = B; (A\/B)/\(¬A \/B) = B.
12.  Закон контрапозиции (правило перевертывания): (A<=>B) = (B<=>A).
13.  А => В = ¬A \/ В; 14.  ¬ (A=>B)=A/\B
14.  А <=>В = (А /\ В) \/ (¬A /\ ¬B);
15.  А <=>В = (¬A \/ В) /\ (А \/¬B).

 

 

Применим законы алгебры логики. Покажем на примере как можно упростить логическое выражение:

      1)      (A/\B) \/ (A/\¬B) = A /\ (B \/ B)= A /\ 1 = A

      2)      ¬ (X \/ Y) /\ (X /\ ¬Y)

Законы алгебры логики применяются в следующей последовательности: правило де Моргана, сочетательный закон, правило операций переменной с её инверсией и правило операций с константами.

      ¬ (X \/ Y) /\ (X /\ ¬Y) = ¬ X /\ ¬Y /\ (X /\ ¬Y) = ¬ X /\ X/\¬Y /\¬Y= 0 ¬Y /\¬Y

3)      применяется правило де Моргана, выносится за скобки общий множитель, используется правило операций переменной с её инверсией

      4)      ¬ X /\ Y \/ ¬ (X \/ Y) \/ X = ¬ X /\ Y \/ ¬ X /\ ¬Y \/ X= ¬ X /\ (Y \/ ¬Y) \/ X= ¬ X \/ X= 1

 

Решение логических задач

Разнообразие логических задач очень велико. Способов их решения тоже немало. Но наибольшее распространение получили следующие три способа решения логических задач:

• средствами алгебры логики;
• табличный;
• с помощью рассуждений.

Познакомимся с ними поочередно.

Решение логических задач средствами алгебры логики

 Обычно используется следующая схема решения:

1.      изучается условие задачи;

2.      вводится система обозначений для логических высказываний;

3.      конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи;

4.      определяются значения истинности этой логической формулы;

5.      из полученных значений истинности формулы определяются значения истинности введённых логических высказываний, на основании которых делается заключение о решении.

Пример 1. Трое друзей, болельщиков автогонок «Формула-1», спорили о результатах предстоящего этапа гонок.

— Вот увидишь, Шумахер не придет первым, — сказал Джон. Первым будет Хилл.

— Да нет же, победителем будет, как всегда, Шумахер, — воскликнул Ник. — А об Алези и говорить нечего, ему не быть первым.

Питер, к которому обратился Ник, возмутился:

— Хиллу не видать первого места, а вот Алези пилотирует самую мощную машину.

По завершении этапа гонок оказалось, что каждое из двух предположений двоих друзей подтвердилось, а оба предположения третьего из друзей оказались неверны. Кто выиграл этап гонки?

Решение. Введем обозначения для логических высказываний:

Ш — победит Шумахер; Х — победит Хилл; А — победит Алези.

Реплика Ника «Алези пилотирует самую мощную машину» не содержит никакого утверждения о месте, которое займёт этот гонщик, поэтому в дальнейших рассуждениях не учитывается.

Зафиксируем высказывания каждого из друзей:

Джон: ¬Ш/\Х

Ник: Ш/\¬А

Питер: ¬Х

  Высказывание Ш /\ ¬ А/\ ¬Х  истинно только при Ш=1, А=0, Х=0.

Ответ. Победителем этапа гонок стал Шумахер.

 

Решение логических задач табличным способом

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

 
 Пример 2. В симфонический оркестр приняли на работу трёх музыкантов: Брауна, Смита и Вессона, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.

Известно, что:

1. Смит самый высокий;
2. играющий на скрипке меньше ростом играющего на флейте;
3. играющие на скрипке и флейте и Браун любят пиццу;
4. когда между альтистом и трубачом возникает ссора, Смит мирит их;
5. Браун не умеет играть ни на трубе, ни на гобое.

На каких инструментах играет каждый из музыкантов, если каждый владеет двумя инструментами?

Решение. Составим таблицу и отразим в ней условия задачи, заполнив соответствующие клетки цифрами 0 и 1 в зависимости от того, ложно или истинно соответствующее высказывание.

Так как музыкантов трoе, инструментов шесть и каждый владеет только двумя инструментами, получается, что каждый музыкант играет на инструментах, которыми остальные не владеют.

Из условия 4 следует, что Смит не играет ни на альте, ни на трубе, а из условий 3 и 5, что Браун не умеет играть на скрипке, флейте, трубе и гобое. Следовательно, инструменты Брауна — альт и кларнет. Занесем это в таблицу, а оставшиеся клетки столбцов «альт» и «кларнет» заполним нулями:

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

Из условий 1 и 2 следует, что Смит не скрипач. Так как на скрипке не играет ни Браун, ни Смит, то скрипачом является Вессон. Оба инструмента, на которых играет Вессон, теперь определены, поэтому остальные клетки строки «Вессон» можно заполнить нулями:

Из таблицы видно, что играть на флейте и на гобое может только Смит.

Ответ: Браун играет на альте и кларнете, Смит — на флейте и гобое, Вессон — на скрипке и трубе.

 

Решение логических задач с помощью рассуждений

Этим способом обычно решают несложные логические задачи.

 Пример 3. Вадим, Сергей и Михаил изучают различные иностранные языки: китайский, японский и арабский. На вопрос, какой язык изучает каждый из них, один ответил: «Вадим изучает китайский, Сергей не изучает китайский, а Михаил не изучает арабский». Впоследствии выяснилось, что в этом ответе только одно утверждение верно, а два других ложны. Какой язык изучает каждый из молодых людей?

Решение. Имеется три утверждения:

1. Вадим изучает китайский;
2. Сергей не изучает китайский;
3. Михаил не изучает арабский.

Если верно первое утверждение, то верно и второе, так как юноши изучают разные языки. Это противоречит условию задачи, поэтому первое утверждение ложно.

Если верно второе утверждение, то первое и третье должны быть ложны. При этом получается, что никто не изучает китайский. Это противоречит условию, поэтому второе утверждение тоже ложно.

Остается считать верным третье утверждение, а первое и второе — ложными. Следовательно, Вадим не изучает китайский, китайский изучает Сергей.

Ответ: Сергей изучает китайский язык, Михаил — японский, Вадим — арабский.

 

Пример 4. Министры иностранных дел России, США и Китая обсудили за закрытыми дверями проекты соглашения о полном разоружении, представленные каждой из стран. Отвечая затем на вопрос журналистов: «Чей именно проект был принят?», министры дали такие ответы:

Россия — «Проект не наш, проект не США»;
США — «Проект не России, проект Китая»;
Китай — «Проект не наш, проект России».

Один из них (самый откровенный) оба раза говорил правду; второй (самый скрытный) оба раза говорил неправду, третий (осторожный) один раз сказал правду, а другой раз — неправду.

Определите, представителями каких стран являются откровенный, скрытный и осторожный министры.

Решение. Для удобства записи пронумеруем высказывания дипломатов:

Россия — «Проект не наш»   (1),   «Проект не США»   (2);
США —   «Проект не России»   (3),   «Проект Китая»   (4);
Китай —   «Проект не наш»   (5),   «Проект России»   (6).

Узнаем, кто из министров самый откровенный.

Если это российский министр, то из справедливости (1) и (2) следует, что победил китайский проект. Но тогда оба утверждения министра США тоже справедливы, чего не может быть по условию.

Если самый откровенный — министр США, то тогда вновь получаем, что победил китайский проект, значит оба утверждения российского министра тоже верны, чего не может быть по условию.

Получается, что наиболее откровенным был китайский министр. Действительно, из того, что (5) и (6) справедливы, cледует, что победил российский проект. А тогда получается, что из двух утверждений российского министра первое ложно, а второе верно. Оба же утверждения министра США неверны.

Ответ: Откровеннее был китайский министр, осторожнее — российский, скрытнее — министр США.

 

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

Знания из области математической логики можно использовать для конструирования электронных устройств. Нам известно, что 0 и 1 в логике не просто цифры, а обозначение состояний какого-то предмета нашего мира, условно называемых «ложь» и «истина». Таким предметом, имеющим два фиксированных состояния, может быть электрический ток.

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

Базовые логические элементы реализуют три основные логические операции: «И», «ИЛИ», «НЕ».

 

Логический элемент «НЕ» (инвертор)

Простейшим логическим элементом является инвертор, выполняющий функцию отрицания. Если на вход поступает сигнал, соответствующий 1, то на выходе будет 0. И наоборот.

У этого элемента один вход и один выход. На функциональных схемах он обозначается:

Говорят также, что элемент «НЕ» инвертирует значение входной двоичной переменной.

 

 

Проверь соответствие логического элемента «НЕ» логическому элементу «НЕ». Воспользуйся тренажером Логические элементы.xlsx

 

Логический элемент «И» (конъюнктор)

Логический элемент «И» (конъюнктор) выдает на выходе значение логического произведения входных сигналов.

Он имеет один выход и не менее двух входов. На функциональных схемах он обозначается:

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

 Проверь соответствие логического элемента «И» логическому элементу «И».  Воспользуйся тренажером Логические элементы.xlsx

 

Логический элемент «ИЛИ» (дизъюнктор)

Логический элемент «ИЛИ» (дизъюнктор) выдает на выходе значение логической суммы входных сигналов. Он имеет один выход и не менее двух входов. На функциональных схемах он обозначается:

Сигнал на выходе дизъюнктора не появляется тогда и только тогда, когда на все входы не поданы сигналы.

 

 

На элементарном уровне дизъюнкцию можно представить себе в виде параллельно соединенных выключателей.

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

Проверь соответствие логического элемента «ИЛИ» логическому элементу «ИЛИ».  Воспользуйся тренажером Логические элементы.xlsx

 

Пример 1.
Составьте логическую схему для логического выражения: F=A \/ B /\ A.

1.                  Две переменные – А и В.

2.                  Две логические операции: 1-/\, 2-\/.

3.                  Строим схему:

 

 

 

 

Пример 2.
Постройте логическую схему, соответствующую логическому выражению F=А/\В\/ ¬(В\/А). Вычислить значения выражения для А=1,В=0.

1.  Переменных две: А и В; 1 4 3 2

2.  Логических операций три: /\ и две \/; А/\В\/ ¬ (В\/ А).

3.  Схему строим слева направо в соответствии с порядком логических операций:

 

 

 

 

 

 

4.  Вычислим значение выражения: F=1 /\ 0 \/ ¬(0 \/ 1)=0