Постройте ДНФ функции (x = y) | (z → x) & (z → y). (Здесь = это операция эквивалентность, → - импликация, которая ложна только в случае, когда посылка истинна, а заключение ложно). Укажите, сколько конъюнктов включает ДНФ:
Постройте ДНФ функции (x → y) | (z → x) & (z → y). (Здесь → это импликация, которая ложна только в случае, когда посылка истинна, а заключение ложно). Укажите, сколько конъюнктов включает ДНФ:
Операции отношения можно выразить логическими операциями. Какие логические формулы позволяют выразить отношение 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 битов в двоичной системе:
