Логические функции эквивалентны, если совпадают их таблицы истинности. Постройте таблицу истинности для логической операции импликация (логическое следование) a → b, которая ложна только в случае, когда посылка a истинна, а заключение b ложно. Какие формулы эквивалентны импликации (Здесь → операция импликации, ˜ - отрицание, | - дизъюнкция, & - конъюнкция):
Операции отношения можно выразить логическими операциями. Какая логическая формула позволяет выразить отношение a>b для пары битов (Здесь → операция импликации, ˜ - отрицание, | - дизъюнкция, & - конъюнкция):
Операции отношения можно выразить логическими операциями. Какие логические формулы позволяют выразить отношение a ≥ b для пары битов (Здесь → операция импликации, ˜ - отрицание, | - дизъюнкция, & - конъюнкция):
Какие соотношения справедливы и представляют законы логики (Здесь: ! – операция отрицания, & - конъюнкция, | - дизъюнкция, = - эквивалентность, → - импликация, ^ - исключающее или) :
Какие утверждения справедливы относительно функции от двух аргументов f(x, y) = x + y, где x и y – целые из n битов в двоичной системе:
Какие утверждения справедливы относительно функции от двух аргументов f(x, y) = x * y, где x и y – целые из n битов в двоичной системе:
Какие утверждения справедливы относительно функции от двух аргументов f(x, y) = x + y, где x и y – целые из n битов в двоичной системе:
Какие утверждения справедливы для векторов ортонормального базиса векторного пространства N:
Дискретное преобразование Фурье (ДПФ) – это широко используемый на практике математический инструмент изучения поведения периодических или почти периодических функций. Какие утверждения справедливы для ДПФ:
Дискретное преобразование Фурье (ДПФ) – это широко используемый на практике математический инструмент изучения поведения периодических или почти периодических функций. Какие утверждения справедливы для ДПФ:
