Вопросы от теста, для просмотра ответов, перейдите по ссылке ниже вопроса
На скольких наборах формула принимает истинное значение
Выберите один ответ:
4
7
2
3
СМОТРЕТЬ ОТВЕТ
Можно ли считать правилом резолюций, где ,
Выберите один ответ:
да
нет
СМОТРЕТЬ ОТВЕТ
Какой формулой описывается контактной схемой
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ
Какие из следующих формул логики предикатов являются тождественно истинными
Выберите один или несколько ответов:
СМОТРЕТЬ ОТВЕТ
Укажите номера формул представленные в СДНФ
Выберите один или несколько ответов:
СМОТРЕТЬ ОТВЕТ
Какой формулой описывается контактной схемой
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ
Какие из следующих формул логики предикатов являются тождественно истинными
Выберите один или несколько ответов:
СМОТРЕТЬ ОТВЕТ
Сколько из ниже представленных формул являются КНФ
1. 2. 3. 4.
Вписать ответ
СМОТРЕТЬ ОТВЕТ
Правило резолюций дает резольвиту, которая
Выберите один ответ:
Является отрицанием резольвируемых дизъюнктов
Является логическим следствием резольвируемых дизъюнктов
Является логическим следствием одного из дизъюнктов
СМОТРЕТЬ ОТВЕТ
На каких из указанных ниже наборах формула принимает ложное значение
Выберите один ответ:
x=л y=л
x=и y=л
x=и y=и
x=л y=и
СМОТРЕТЬ ОТВЕТ
Какие из следующих равенств не справедливы
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ
Для каких случаев 3-ая формула является логическим следствием первых двух
Выберите один или несколько ответов:
СМОТРЕТЬ ОТВЕТ
Какой формуле равносильна формула
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ
Какие из следующих формул равносильны формуле
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ
Какие из следующих предложений являются высказываниями
Выберите один или несколько ответов:
2+2=4
Я отличник
Число 2 четное и простое
Кто спрашивает
СМОТРЕТЬ ОТВЕТ
Какая из формул описывает контактную схему
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ
Какая из следующих формул представлена в клазуальном виде
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ
На каких из указанных ниже наборах формула принимает истинное значение
Выберите один или несколько ответов:
x=и y=л z=и
x=и y=и z=и
x=л y=л z=и
x=и y=и z=л
СМОТРЕТЬ ОТВЕТ
Можно ли утверждать, что из справедливости формул следует справедливость формул .
Выберите один ответ:
Нет
Иногда
Да
СМОТРЕТЬ ОТВЕТ
Какие из следующих формул являются тождественно истинными
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ
Какие из следующих формул равносильны формуле
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ
Какие из следующих формул представлены в предваренной нормальной форме
Выберите один ответ:
СМОТРЕТЬ ОТВЕТ