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