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

8. Ни одно С не есть D. Все А суть D. Все В суть С. Следова­ тельно, все В не есть Д. 9. Р=ааЬсс, Q=aabccdabcdd. 10. Р-^^ааЪс, Q^aabccdab. 11. Смотри условия задачи. 12. ^/(х,;^)=частному от деления у на х. 13. (1Д=:>1Л)^(Д=>Д). 14. {Nx=>Ny)wz, (y=>x)vz. 15.A*nC*A*uB* C*d(B*U I * ) . Вариант 12 \.A необходимо для В, a В достаточно для С и А, но А не эквивалентно С или В. 2. (AviCvB&C))&^ (C&Z))&C &1 D&(C V1 C &1 D V D )V 5 &^&1 Д. 3. l^^Cv^&5&lC. A.PvQvR, >,1al^v5'[=5'. 5. Если некоторые В суть не А, но ни одно В не есть С, то некоторые А суть не С. 6. ЭхР(х)=> \/хР(х). 7. A=3x\/yP{x,y)-=i>\/xQ{a,x), B=\/x3yyzS(x,fi 8. Все С не есть D. Все А суть не D. Все В суть С. Следовательно, все В есть А. 9. P=bcab, Q=bcabccdabcda. 10. P=aba, Q=ababcdab. 11. Смотри условия задачи. 12. x+yxz. 13. y4=>'U). 14. N({Nx)vy)&z, N((y=>x)vz). 15. A \J B * a * nC* A*u (B *n C*), 305