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

18 P=aab, Q=aabccabcdd. \Q.P=abc, Q=abccdab. 11. Смотри условия задачи. 12. xx(y+z). 13. (A^(A^B))^(1(A^B)^ ]i). 14. ((Nx) v(Ny))^z, N(y&x)^z. 15. пВ^, uC^, А^Г)(В^иС^). Вариант 24 1. Если A, то В либо С, а В достаточно для С, но А не эквивалентно С. 2. (Ы bvB& 1 D)&(AVC)VB&A& 1 BV(AV I:)&(1 A&DVB&D). 3. (A^l:)vA&B&C. A vB, A=>C, B^D, D^>C \=A&C. Когда все A суть В, a некоторые В суть не С, тогда не существует А таких, что В или С. VxByP(x,y)) =^Бу VxP(x,y). А= VxByP(x,f(x,y))^VxP(a,x), В= Vx3yQ(f(x,a),y)^3y VxP(y,x). Ни одно С не есть D. Все А суть D. Все В суть С. Следовательно, некоторые В есть А. P=ddab, Q=ddabbbacdd. 10. P=ddc, Q=ddcbccab. 11. Смотри условия задачи. 12. хх(у+2). 13. А^(1(А^А)^1(А^(А^А)). \А.(Ш)^((Щ&2), (Ny)^((Nx)&z). 15. ^ Вариант 25 А только тогда, когда В, а В, когда С или ^4, но ^ недостаточно для С. (Avb)&(B& lCvB& bvC&Bvb& b)&(DvA) vB&A& 1в. A\/Cv(A^B)& t. C^(B^A), BVD,C\^AVDVC. Если некоторые D суть В, a ни одно А не есть не С, то все А суть D. 3x3y(P(x)&P(y)&Q(x,y)). А= VxByP(х,Ь) ^VxQ(a,f(x,y)), В =БхЭуР(х,у)^Бу VxR(f(x,a),y,x).