Логика предикатов

1.Среди следующих выражений укажите предикаты, для каждого из них определите
вместимость и область определения
2.Найдите множества истинности следующих предикатов, определенных на
множестве М
3.Найдите значения следующих формул
4.Подберите элементарные предикаты и запишите формулой следующие
высказывания и определения
5.Найдите отрицания следующих предикатных формул и получите приведенную,
предваренную нормальные формы
6.Выясните, являются ли тождественно-истинными следующие предикатные
формулы