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

8. Все А суть не В. Некоторые В суть С. Следовательно, не существует А таких, что В или С. 9. P^dcdaa, Q=dcdaabccabcd. 10. P=dcdca, Q=dcdcacbaca. 11. Смотри условия задачи. 12. (х+у)'. 13. (Azi'A)=i>((] А=>А)=>А). 14. {Nx=>Ny)\fz, (y=>x)\fz. 15. А*пС*,В*иС*, А*глВ*г\С*. Вариант 15 1 . А только тогда, когда В, г. В необходимо для С или А, но А недостаточно для С. 2. ^&5&Cv^&B&1^&CV(^VB)&(CVD)&(^V'1B)VD&5VC&1 С. 3. {А=С)\/{А^В). 4. А=:>(С=>В), D=>A, C\=D=>B. 5. Когда все D суть В, а некоторые А есть С или не В, то ни од­ но В не есть С. 6. {3xP(x))v3xQ(x)s3x3y(P(x)vQ(y)). 7.A=3y'^xQiaJ{x,y)):^\/x3yP(x,y), B=3x3yP{x,y)=> 8. Некоторые С не есть D. Все А суть D. Все В суть не С. Сле­ довательно, все В суть А. 9. P=ccda, Q-ccdacdaacdd. \0. P=accb, Q=accbccaab. И. Смотри условия задачи. 12. (x+j)! 13. (1 =>у4)=>(*и . 14. {Nx)v({Ny)vz), x=>((Ny)vz). 15. C*n A *,A*u B*.A*n(B*uC*J- 307