Математическая логика и теория алгоритмов
-
Cложное высказывание, истинное тогда и только тогда, когда все составляющие его простые высказывания истинны, называется:
-
Cложное высказывание, истинное тогда и только тогда, когда составляющие его простые высказывания либо вместе истинны, либо вместе ложны называется:
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_10.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_11.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_12.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_13.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_14.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_15.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_15.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_16.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_16.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_39.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_40.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_41.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_42.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_43.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_44.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_7.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_8.jpg" />
-
<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_9.jpg" />
-
Вставьте пропущенное слово:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_37.jpg" />
-
Вставьте пропущенные слова:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_38.jpg" />
-
Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (0,0,1), имеет вид:
-
Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (0,0,1), имеет вид:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_21_4.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_21_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_21_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_21_3.jpg" />
-
Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (0,1,1), имеет вид:
-
Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (0,1,1), имеет вид:
-
Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (1,0,1), имеет вид:
-
Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (1,0,1), имеет вид:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_20_3.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_20_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_20_4.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_20_1.jpg" />
-
Импликация –логическая связь между двумя простыми высказываниями (суждениями), выраженная в языке посредством союза „если…, то…“. Логический смысл импликации определяется следующим образом:
-
Какие из следующих утверждений верны:
-
Какие из следующих утверждений верны:
-
Какие из следующих формул логики предикатов являются нормальными:
-
Какие из следующих формул логики предикатов являются нормальными:
-
Какие из следующих формул логики предикатов являются приведенными:
-
Какие из следующих формул логики предикатов являются приведенными:
-
Какие из следующих формул логики предикатов являются равносильными:
-
Какие из следующих формул логики предикатов являются равносильными:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_34_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_34_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_34_3.jpg" />
-
Какие из следующих функций f<sub>2</sub> двойственны к функциям f<sub>1</sub>:
-
Какие из следующих функций f<sub>2</sub> двойственны к функциям f<sub>1</sub>:
-
Какие из следующих функций f<sub>2</sub> двойственны к функциям f<sub>1</sub>:
-
Какие из следующих функций f<sub>2</sub> двойственны к функциям f<sub>1</sub>:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_26_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_26_1.jpg" />
-
Какие из следующих функций сохраняют “0”:
-
Какие из следующих функций сохраняют “0”:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_30_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_30_1.jpg" />
-
Какие из следующих функций являются линейными:
-
Какие из следующих функций являются линейными:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_29_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_29_1.jpg" />
-
Какие из следующих функций являются монотонными:
-
Какие из следующих функций являются монотонными:
-
Какие из следующих функций являются монотонными:
-
Какие из следующих функций являются монотонными:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_27_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_27_2.jpg" />
-
Какое из следующих утверждений верно:
-
Конъюнктивный одночлен, принимающий значение 1 на наборе значений переменных (0,1,1), имеет вид:
-
Конъюнктивный одночлен, принимающий значение 1 на наборе значений переменных (0,1,1), имеет вид:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_17_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_17_3.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_17_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_17_4.jpg" />
-
Конъюнктивный одночлен, принимающий значение 1 на наборе значений переменных (1,0,0), имеет вид:
-
Конъюнктивный одночлен, принимающий значение 1 на наборе значений переменных (1,0,0), имеет вид:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_18_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_18_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_18_4.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_18_3.jpg" />
-
Обобщением какой операции является связывание квантором общности:
-
Обобщением какой операции является связывание квантором существования:
-
Сколько существует булевых функций от двух переменных:
-
Сколько существует булевых функций от одной переменной:
-
Сложное высказывание, истинное тогда и только тогда, когда истинно хотя
бы одно из составляющих его простых высказываний называется
-
Сложное высказывание ложное тогда и только тогда, когда первое простое высказывание истинно, а второе ложно называется