Логика предикатов//ИРНИТУ
Р(х)= x имеет зачетную книжку и Q(x) = x является студентом. Формула, соответствующая выражению любой студент имеет зачетную книжку: Выберите один ответ: a.∀x(P(x)→→¬Q(x)) b.∃x(P(x)∧∧¬Q(x)) c.∀x(Q(x)→→P(x))
Математическая логика и теория алгоритмов//ТУСУР
дизъюнктивной нормальной формой (СДНФ) формулы F алгебры высказываний? XYF000011100111 (¬X∧Y)∨(¬X∧Y)(¬X∧Y)∨(X∧¬Y)(¬X∧Y)∨(X∧Y) ___________высказывание – высказывание, представляющее собой одно утверждение.