@Bon-bonu

Помогите с решением очень нужно!!!!!!!!!!!!
1. Составные высказывания разделите на простые и запишите их символически, введя буквенные обозначения для простых высказываний и используя логические связки.
2. Составьте таблицу истинности для формулы и укажите, является ли она выполнимой, опровержимой, тавтологией или противоречием.
3. Построить вывод формулы.
4. С помощью алгоритма Квайна проверить тождественную истинность формулы.
5. Используя алгоритм редукции, проверить тождественную истинность формулы.
6. Методом резолюций проверить следующие соотношения.
7. Найти предметную область и область истинности предиката.
8. Является ли тождественно истинной формула.
9. Привести к предваренной нормальной форме формулу логики предикатов, считая P и Q бескванторными формулами.
10. На множестве найти интерпретацию формулы предикатов, в которой P(x) – предикат, Q – высказывание, x – связанная переменная, y – свободная переменная.

0