КМ-2. Вывод в логических системах. Тестирование

Тест решён на оценку 4.
Сами вопросы из теста:
1. Дана логическая формула F. Что называется интерпретацией формулы F= (A - (Bv -С)) -> D
2. Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными: 1. (AVB) и - (-A&-В) 2. (-A&-B) и -(AVB) 3. A-В и -(AV-B) 4. (А->В) и ((-А->В)-В) 5. A vB и (-B-» -А)
3. Дана логическая формула F = (B&CVA) -- B) v -A& B&-C Для этой формулы построена таблица истинности Интерпретацией для формулы F является:
4. Являются ли две приведенные формулы исчисления высказываний равносильными? (A&BVA&-B&CVA&-B&-CVA&-C)&(B v С) и BvC
5. В логике высказываний используется определение: Высказывание - это предложение, в котором содержится какая-то информация и которое может быть оценено как истинное или ложное. Такие высказывания называют атомарными высказываниями, или атомами.
6. Рассмотрим фразы: А. Число х> у. Б. Марс планета Солнечной системы. В. Дай мне книгу. Г. Лондон - столица Англии. Д. Сегодня теплая погода. Какие из них являются высказываниями?
7. Формула Vy (A(a) & C(а) & (S(a, y) V A(y))) представлена в Сколемовской стандартной форме (ССФ). Затем было построено множество дизъюнктов S. Выберите правильный вариант множества S
8. Какие из приведенных четырёх формул логики предикатов представлены в пренексной нормальной форме (ПНФ)
9. Формула Vy (A(a) & C(a) & (S(a, y) v A(y))) представлена в Сколемовской стандартной форме (ССФ) и преобразована в множество дизъюнктов S=[A(а), C(а), S(a, y) v A(y)] Сколько всего дизъюнктов содержит S?
10. На множестве живых существ введены предикаты: P(х) "x - птица" и L(x) "x - летает". Найдите формулу, двойственную формуле - Vx (P(x) - L(х))
Являются ли две приведенные формулы исчисления высказываний равносильными? A&B&CV -B vB&-(Av-C)) и -BvC
11. Утверждение Если Петя принадлежит к нашей компании (К), то он весел (В) и на него можно положиться (П) представлено в виде формулы логики высказываний. Выберите правильную формулу для записи этого утверждения:
12. Какие из приведенных формул являются тавтологиями:
13. Дана логическая формула (A - (B v -С)) - D. Сколько интерпретаций данной формулы существует:
14. Даны две логические формулы: - (A &B->А) и A - AVB Эти формулы
15. Дана формула логики высказываний (-A&CVB)-(BVC - A&B) Формула приведена к конъюнктивной нормальной форме. Укажите правильный ответ:Показать/скрыть дополнительное описание