Математическая логика и теория алгоритмов

Вариант 13 1. А достаточно для В или С, а В необходимо для А и С, но из с следует А либо В. 2. BVD&(CSC]AV ^A&^B^/A&.C\/A&\B)&.{B^ЛD)\ЛЛ&A8L^ В. 3.A={BSC). 4. >v<2, Pv7?,l<2М- 5. Если все А суть В, а некоторые С суть Б, то некоторые С суть не А. 6. \fx3y(P(x)s >(у)). 7. A=yz3yVxQ(x,y,z):=:>'^xP{a,x), В=\/хЗуР{х,у)= Vz3yVxQ(y,fia,x),z). 8. HeKOTOpbte С не есть D. Все А суть не D. Все В суть С. Сле­ довательно, все S сутьу4. 9. F=dcaab, Q=dcaabccabcdd. 10. P=dabc, Q=dabccdab. 11. Смотри условия задачи. 12. xx(y+z). 13. j4=>(1A^i-^A^^A)). ((Nx)v(,Ny))=>z, N(y&x)=>z. 15. A*n B*,A*uC*A*uB*uC* Вариант 14 1. Если A, TO В либо С, a. В достаточно для С, но А не эквивалентно С. 2. l(CwD)^yA&C&iBvC)^/Cv^DvC8c(] CvD)&D^/ 3. {ASC) v {A=>B). 4.> v l e v i ? , PwR, QvR 5. Когда ни одно С не есть D, а все А суть Д то все В суть С. 7. А=Уx3yQ(xJ{x,y,ay)=i-'^xP(x,x), B-Vx3yQ(x,y)= 306