§ 26. Алгебра логики

Упражнения

    

1. Каким логическим операциям соответствуют следующие высказывания?

  1. В жаркий день приятно выпить стакан холодной воды или лимонада.
  2. Кто не работает, тот не ест.
  3. При записи чисел в двоичной системе счисления используются цифры 0 и 1.
  4. Если число кратно 4, то оно кратно 2.

2. Формализуйте следующий вывод: «Если A и B истинны, то  C — истинно. Но C — ложно, значит, A или B  ложны».

2.1 Определите результат логической функции при заданных значениях переменных:

    1. begin mathsize 14px style left parenthesis top enclose B with bar on top space & space C with bar on top end enclose right parenthesis space V space left parenthesis top enclose A space & space C end enclose right parenthesis comma space при space A space equals space 1 semicolon space B space equals space 1 semicolon space C space equals space 0. end style
    2. begin mathsize 14px style left parenthesis straight A space straight V space left parenthesis straight A space & space straight B right parenthesis space & space left parenthesis straight A space & space space left parenthesis straight A space straight V space straight B right parenthesis comma space при space straight A space equals space 1 semicolon space straight B space equals space 0. end style

3. Какое значение будет на выходе логической схемы?

4. По заданной логической формуле постройте логическую схему и определите значение логической функции при заданных A, B и C.

  1. Error converting from MathML to accessible text.
  2. Error converting from MathML to accessible text.
  3. Error converting from MathML to accessible text.
  4. Error converting from MathML to accessible text.

5. Какая формула соответствует логической схеме?

6. Даны простые высказывания:

A = «Процессор — устройство для обработки информации».

B = «Сканер — устройство вывода информации».

C = «Монитор — устройство ввода информации».

D = «Клавиатура — устройство вывода информации».

Определите истинность логических формул:

  1. Error converting from MathML to accessible text.
  2. Error converting from MathML to accessible text.
  3. begin mathsize 14px style left parenthesis A with bar on top space rightwards double arrow space B right parenthesis space & space left parenthesis C space V space D right parenthesis. end style
  4. begin mathsize 14px style left parenthesis straight A space & space straight B right parenthesis space straight V space straight C space left right double arrow left parenthesis straight A space & space straight C right parenthesis space straight V space left parenthesis straight A space & space straight B right parenthesis. end style
  5. begin mathsize 14px style left parenthesis straight A space & space straight B right parenthesis space rightwards double arrow space left parenthesis straight C space straight V space straight D right parenthesis. end style
  6. begin mathsize 14px style left parenthesis straight A space & space straight B right parenthesis space left right double arrow left parenthesis straight C space straight V space straight D right parenthesis. end style
  7. begin mathsize 14px style left parenthesis straight C space left right double arrow space straight A with bar on top right parenthesis space & space straight B space & space straight D. end style
  8. begin mathsize 14px style left parenthesis straight A space straight V space straight B right parenthesis space straight V space straight C space rightwards double arrow space left parenthesis straight A space & space straight C space & space straight D right parenthesis space & space left parenthesis straight B space straight V space straight D right parenthesis. end style

7. Постройте таблицы истинности для следующих логических выражений:

  1. begin mathsize 14px style straight A with bar on top space straight V space left parenthesis straight A space straight V space straight B with bar on top right parenthesis. end style
  2. begin mathsize 14px style straight A space & space left parenthesis top enclose straight B space straight V space straight C end enclose right parenthesis. end style
  3. begin mathsize 14px style straight A with bar on top space rightwards double arrow left parenthesis straight B with bar on top space & space straight C right parenthesis space & space straight D. end style
  4. begin mathsize 14px style straight A space straight V space straight C space left right double arrow space left parenthesis straight A space & space straight C right parenthesis space straight V space straight B right parenthesis. end style

8. Определите для указанных значений X значение логической функции begin mathsize 14px style text ((X > 3) V (X < 3)) ⇒ (X < 4). end text end style

  1. X = 1.
  2. X = 12.
  3. X = 3.

9. Для каких приведенных слов ложно логическое выражение «¬(первая буква гласная & третья буква гласная)  строка из 4 символов»?

  1. Асса.
  2. Силач.
  3. Кукуруза.
  4. Куку.
  5. Ошибка.

10. Определите такое наименьшее натуральное число А, что выражение

begin mathsize 14px style left parenthesis straight X space & space 56 space not equal to space 0 right parenthesis space rightwards double arrow space left parenthesis straight X space & space 48 space equals space 0 right parenthesis space rightwards double arrow left parenthesis straight X space & space straight A space not equal to space 0 right parenthesis end style

принимает значение «истина» при любом натуральном значении Х.