Методические указания к выполнению расчетно-графической работы по математической логике и теории алгоритмов

12 11. Смотри условия задачи. 12. x+yxz. 14. N((Nx) vy)&z, N((y^x) vz). 13. (A^A)^(IA^IA) . 15 A^u(B^nC^). Вариант 13 A достаточно для В или С, а В необходимо для ^4 и С, но из С следует А либо В. 2. BVD&(C &1 AV 1 А& bvA&CvA& B)&(BVB)vlA&A& 1в. 3. А^ (В^ ) . lPU2,PvR,l3\^R. Если все А суть В, а некоторые С суть В, то некоторые С суть не А. Vx3y(P(x)= 'Р(у)). А= Vz3y VxQ(x,y,z)^VxP(a,x), В= Vx3yP(x,y)^ Vz3y VxQ(y,f(a,x),z). Некоторые С не есть D. Все А суть не D. Все В суть С. Следовательно, все В 15. А"^ п В"^, А^иВ^иС^. Вариант 14 1. Если А, то В либо С, а В достаточно для С, но А не эквивалентно С. 2. l(CvD)vA&C&(BvC)vCvbvC&(lCvD)&DvD&A& 1d. 3. (A^)v(A^B). IPVIQVR, PVR, QVR |=i?. Когда ни одно С не есть D, а все А суть Д то все В суть С. VX(P(X)^1Q(X))^](( VXP(Х))&3XQ(X)). А= Vx3yQ(x,f(x,y,a))^VxP(x,x), В= Vx3yQ(x,y)^3y VxP(y,x). суть A. P=dcaab, Q=dcaabccabcdd. 11. Смотри условия задачи. 10. P=dabc, Q=dabccdab. 12. xx(y+z). 14. ((Nx) v(Ny))^z, N(y&x)^z. 13. a^(1A^1(A^A)).