- •Приложение 8. Задачи по теме «Логика»
- •Найдите восьмеричное представление значения логической функции в однобайтовом формате при .
- •Является ли тождественно-истинной данная формула: ?
- •Сднф и скнф
- •Решение задач на приведение множеств в соответствие
- •Решение задач с помощью кругов Эйлера
- •Решение задач с помощью характеристических уравнений
- •Рыцари и лжецы
- •Логические уравнения
- •К онтактные и логические схемы
Составьте таблицу истинности для высказывания
Составьте таблицу истинности для функции
,
в которой столбец значений аргумента
A представляет собой
двоичную запись числа 15, столбец значений
аргумента B – числа
51, столбец значений аргумента C
– числа 85. Число в столбце записывается
сверху вниз от старшего разряда к
младшему. Переведите полученную запись
значения функции F в
десятичную систему счисления.Найдите восьмеричное представление значения логической функции в однобайтовом формате
при
.Найдите четверичное представление значения логической функции в однобайтовом формате
при
.Найдите восьмеричное представление значения логической функции в однобайтовом формате при .
При каких значениях переменных следующее выражение
ложно?
Упростить логическое выражение:
)
Какие из ниже перечисленных логических формул являются тождественно-истинными (тавтологиями)?
Заданы логические функции
и
.
Путем тождественных преобразований
получить минимальную форму записи
функций и проверить, является ли функция
тождественной функции
.Заданы логические функции
и
Необходимо:
путем тождественных преобразований получить минимальную форму записи функций
проверить, является ли функция тождественной функции .
Является ли тождественно-истинной данная формула:
.Является ли тождественно-истинной данная формула: ?
Даны два десятичных числа X и Y. Их перевели в двоичную систему счисления и определили, что в числе X из 6 разрядов четыре единицы, а в числе Y из 4 разрядов три единицы. Логическое произведение (конъюнкция) этих чисел равно 1012, а логическая сумма (дизъюнкция) - число 1111012. Определить числа X и Y в десятичной системе счисления.
Даны два десятичных числа X и Y. Их перевели в двоичную систему счисления и определили, что в числе X из 4 разрядов три единицы, а в числе Y из 5 разрядов две единицы. Логическое (побитовое) произведение этих чисел равно 102, а логическая (побитовая) сумма – 111102. Чему равны числа X и Y в десятичной системе счисления? При побитовом сложении или произведении чисел вычисляется результат соответственной логической операции над каждой парой бит независимо без переноса в следующий разряд.
Даны два десятичных числа X и Y. Их перевели в двоичную систему счисления и определили, что в числе X из 4 разрядов три единицы, а в числе Y из 5 разрядов две единицы. Логическое (побитовое) произведение этих чисел равно 12, а логическая (побитовая) сумма – 111012. Чему равны числа X и Y в десятичной системе счисления? При побитовом сложении или произведении чисел вычисляется результат соответственной логической операции над каждой парой бит независимо без переноса в следующий разряд.
Даны два десятичных числа X и Y. Их перевели в двоичную систему счисления и определили, что в числе X из 5 разрядов три единицы, а в числе Y из 4 разрядов три единицы. Логическое (побитовое) произведение этих чисел равно 10012, а логическая (побитовая) сумма – 111012. Чему равны числа X и Y в десятичной системе счисления? При побитовом сложении или произведении чисел вычисляется результат соответственной логической операции над каждой парой бит независимо без переноса в следующий разряд.
Каково наибольшее натуральное число X, при котором высказывание
будет ложным?Каково наибольшее натуральное число X, при котором высказывание:
будет ложным?Каково наибольшее натуральное число X, при котором высказывание:
будет истинным?
Сднф и скнф
Найти логическую функцию 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
Найти логическую функцию 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
Найти логическую функцию 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
Известно, что логическая функция 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
Известно, что логическая функция 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
Заданы функции трех и четырех аргументов. Минимизировать сложность их формул с помощью метода Карно-Вейча.
|
|
|
|
|
|
|
|
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 |
