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

6 13. (Ib^IA)^(A^B). 14. ((Nx)^(Ny))&z, (y^x)&z. 15. A^nB^, Г)(В^иС^). Вариант 2 1 . A необходимо для В, а В достаточно для Си ^4, но ^ не эквивалентно С или В. 2. А& 1(CVD)&(1AVBVI:VD)&(1AVI:VDVC& 1B)VB&A& 1В. 3. lAvCvA&B&l:. 4. 'PvlQvR, l'vl3vS,P,Q^S. 5. Некоторые В суть не но ни одно В не есть С, тогда некоторые не А суть не С. 6. VxP(x,a)^ 3yVxP(x,y). 7. А=Бх VyP(x,y)^VxP(x,x), В= VxBy VzR(x,y,z)^3y VzQ(y,z). 8. Все С не есть D. Все А суть не D. Все В суть С. Следовательно, все В есть А. 9. P=bbcab, Q=bbcabccdabcdd. \0. P=abab, Q=abababcdab. [х- у, если х> у 11. Смотри условия задачи. 12. х-у=< [ О, если X < у. (А ^В)^(]в ^1А ). 14. (N((Nx)&y))&z, fy^xj&z. 15. А^иВ^, A^nC^, А^ и(В^Г) С^). Вариант 3 1 . А, когда В или С, А В необходимо для А или С, но из С следует AVIB. 2. (AvC)&(Dv(~k&lC))v(b&~k)v(AvC)&(l:vlD) vB&A&~k. А^(В^). PvQ, 1PVQ,PV1q\P&Q. Все A суть не S, а некоторые С суть В или некоторые С суть не ^ и S. \/х VyP(x,y)^VxP(x,x). А=3у VxP(x,y)^VxP(a,x), В= Vx3yP(x,y)^ 3z3y VxQ(y,x,z).