Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Приложение 8. Логика.docx
Скачиваний:
1
Добавлен:
01.04.2025
Размер:
192.03 Кб
Скачать
  1. Составьте таблицу истинности для высказывания

  2. Составьте таблицу истинности для функции , в которой столбец значений аргумента A представляет собой двоичную запись числа 15, столбец значений аргумента B – числа 51, столбец значений аргумента C – числа 85. Число в столбце записывается сверху вниз от старшего разряда к младшему. Переведите полученную запись значения функции F в десятичную систему счисления.

  3. Найдите восьмеричное представление значения логической функции в однобайтовом формате при .

  4. Найдите четверичное представление значения логической функции в однобайтовом формате при .

  5. Найдите восьмеричное представление значения логической функции в однобайтовом формате при .

  6. При каких значениях переменных следующее выражение ложно?

Упростить логическое выражение:

  1. )

  2. Какие из ниже перечисленных логических формул являются тождественно-истинными (тавтологиями)?

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

  4. Заданы логические функции и Необходимо:

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

    2. проверить, является ли функция тождественной функции .

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

  6. Является ли тождественно-истинной данная формула: ?

  7. Даны два десятичных числа X и Y. Их перевели в двоичную систему счисления и определили, что в числе X из 6 разрядов четыре единицы, а в числе Y из 4 разрядов три единицы. Логическое произведение (конъюнкция) этих чисел равно 1012, а логическая сумма (дизъюнкция) - число 1111012. Определить числа X и Y в десятичной системе счисления.

  8. Даны два десятичных числа X и Y. Их перевели в двоичную систему счисления и определили, что в числе X из 4 разрядов три единицы, а в числе Y из 5 разрядов две единицы. Логическое (побитовое) произведение этих чисел равно 102, а логическая (побитовая) сумма – 111102. Чему равны числа X и Y в десятичной системе счисления? При побитовом сложении или произведении чисел вычисляется результат соответственной логической операции над каждой парой бит независимо без переноса в следующий разряд.

  9. Даны два десятичных числа X и Y. Их перевели в двоичную систему счисления и определили, что в числе X из 4 разрядов три единицы, а в числе Y из 5 разрядов две единицы. Логическое (побитовое) произведение этих чисел равно 12, а логическая (побитовая) сумма – 111012. Чему равны числа X и Y в десятичной системе счисления? При побитовом сложении или произведении чисел вычисляется результат соответственной логической операции над каждой парой бит независимо без переноса в следующий разряд.

  10. Даны два десятичных числа X и Y. Их перевели в двоичную систему счисления и определили, что в числе X из 5 разрядов три единицы, а в числе Y из 4 разрядов три единицы. Логическое (побитовое) произведение этих чисел равно 10012, а логическая (побитовая) сумма – 111012. Чему равны числа X и Y в десятичной системе счисления? При побитовом сложении или произведении чисел вычисляется результат соответственной логической операции над каждой парой бит независимо без переноса в следующий разряд.

  11. Каково наибольшее натуральное число X, при котором высказывание будет ложным?

  12. Каково наибольшее натуральное число X, при котором высказывание: будет ложным?

  13. Каково наибольшее натуральное число X, при котором высказывание: будет истинным?

Сднф и скнф

  1. Найти логическую функцию F, зависящую от логических переменных A, B, C, по заданной таблице истинности. Упрощенный вид функции должен содержать не более трех логических операций.

    A

    B

    C

    F

    0

    0

    0

    0

    0

    0

    1

    1

    0

    1

    0

    0

    0

    1

    1

    1

    1

    0

    0

    1

    1

    0

    1

    1

    1

    1

    0

    0

    1

    1

    1

    1

  2. Найти логическую функцию F, зависящую от логических переменных A, B, C, по заданной таблице истинности. Упрощенный вид функции должен содержать не более трех логических операций.

    A

    B

    C

    F

    0

    0

    0

    0

    0

    0

    1

    1

    0

    1

    0

    1

    0

    1

    1

    1

    1

    0

    0

    0

    1

    0

    1

    1

    1

    1

    0

    0

    1

    1

    1

    1

  3. Найти логическую функцию F, зависящую от логических переменных A, B, C, по заданной таблице истинности. Упрощенный вид функции должен содержать не более четырех логических операций.

    A

    B

    C

    F

    0

    0

    0

    1

    0

    0

    1

    0

    0

    1

    0

    1

    0

    1

    1

    0

    1

    0

    0

    1

    1

    0

    1

    1

    1

    1

    0

    1

    1

    1

    1

    0

  4. Известно, что логическая функция F(A,B,C) принимает ложные значения на всех наборах значений операндов кроме представленных в таблице. Запишите упрощенный вид этой функции. Упрощенный вид функции должен содержать не более трех логических операций.

    A

    B

    C

    F

    0

    1

    0

    1

    0

    1

    1

    1

    1

    0

    0

    1

    1

    1

    0

    1

    1

    1

    1

    1

  5. Известно, что логическая функция F(A,B,C) принимает ложные значения на всех наборах значений операндов кроме представленных в таблице. Запишите упрощенный вид этой функции. Упрощенный вид функции должен содержать не более трех логических операций.

    A

    B

    C

    F

    0

    0

    1

    1

    0

    1

    0

    1

    0

    1

    1

    1

    1

    0

    1

    1

    1

    1

    1

    1

  6. Заданы функции трех и четырех аргументов. Минимизировать сложность их формул с помощью метода Карно-Вейча.

0

0

0

1

1

1

1

0

0

0

1

0

0

0

0

1

0

1

0

1

0

1

0

1

0

1

1

1

0

1

1

1

1

0

0

1

1

1

1

1

1

0

1

1

0

1

1

1

1

1

0

0

1

1

1

0

1

1

1

1

1

0

0

1

0

0

0

0

1

0

0

0

0

0

0

0

0

1

1

0

0

0

0

0

0

0

1

0

0

1

1

1

1

0

0

0

1

1

0

0

1

0

0

1

0

1

0

0

1

0

0

1

0

0

0

1

0

1

1

0

0

1

1

0

0

1

1

0

1

0

0

1

0

1

0

1

1

1

0

1

0

1

0

0

1

0

0

0

0

0

1

0

0

1

1

0

0

1

0

0

1

0

1

1

1

0

1

0

0

1

1

0

0

0

1

0

1

1

1

0

1

0

0

0

1

1

0

0

0

0

0

1

0

0

1

1

0

1

0

0

1

1

0

0

1

1

1

0

0

1

0

0

1

0

1

1

1

1

0

1

0

0

0

0