Условие:
Для данной формулы найдите ее предваренную, сколемовскую и теоретико-множественную нормальные формы:
![]()

Для данной формулы найдите ее предваренную, сколемовскую и теоретико-множественную нормальные формы:
![]()
Приведенной формой для формулы логики предикатов называется такая равносильная ей формула, в которой из операций алгебры высказываний имеются только операции
причем знаки отрицания относятся лишь к предикатным переменным и к высказываниям.
Найдем приведенную форму для заданной формулы:
Не нашел нужную задачу?