Поиск:

Теория алгоритмов

Какие из следующих формул равносильны формуле teor_alg_5.png

Выберите один ответ:

teor_alg_6.png

teor_alg_7.png

teor_alg_8.png

teor_alg_9.png

Перейти =>  

На скольких наборах формула принимает истинное значение teor_alg_69.png

Выберите один ответ:

4

7

2

3

Перейти =>  

Можно ли считать правилом резолюций,teor_alg_67.png где teor_alg_68.png,

Выберите один ответ:

да

нет

Перейти =>  

Какой формулой описывается контактной схемой teor_alg_62.png

Выберите один ответ:

teor_alg_63.png

teor_alg_64.png

teor_alg_65.png

teor_alg_66.png

Перейти =>  

Какие из следующих формул логики предикатов являются тождественно истинными

Выберите один или несколько ответов:

teor_alg_59.png

teor_alg_60.png

teor_alg_61.png

Перейти =>  

Укажите номера формул представленные в СДНФ

Выберите один или несколько ответов:

teor_alg_55.png

teor_alg_56.png

teor_alg_57.png

teor_alg_58.png

Перейти =>  

Какой формулой описывается контактной схемой teor_alg_50.png

Выберите один ответ:

teor_alg_51.png

teor_alg_52.png

teor_alg_53.png

teor_alg_54.png

Перейти =>  

Какие из следующих формул логики предикатов являются тождественно истинными

Выберите один или несколько ответов:

teor_alg_47.png

teor_alg_48.png

teor_alg_49.png

Перейти =>  

Сколько из ниже представленных формул являются КНФ

1. teor_alg_43.png 2. teor_alg_44.png 3. teor_alg_45.png 4. teor_alg_46.png

Вписать ответ

Перейти =>  

Правило резолюций дает резольвиту, которая

Выберите один ответ:

Является отрицанием резольвируемых дизъюнктов

Является логическим следствием резольвируемых дизъюнктов

Является логическим следствием одного из дизъюнктов

Перейти =>  

0 1 2