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

8. Все не В суть А . Ни одно А не суть D. Все В суть С. Следовательно, все D суть С. 9. P-ddad,Q=dbaddaccdd. 10.P=bdd,Q=bddabad. 11. Смотри условия задачи. 12.(x+y)'xz. 13. (А=^А)=^(] A=i'\A)^ 14.N((Nx)& y)vz, ((A^(x))=>y)vz. 15. С А*иС*, (Л*и5*)пС*. Вариант 18 1 . А если 5 и С, а В при условии, что С, но С достаточно для А иВ. 2.{Av^Q&(^A&DvB&Dv]Лw^DvB&^D)&(AvC)vC&^C&D. 3.ASc]C^B&C. 4. AvB,С^В, В=>А,=>СВ8сС&А. 5. Если все А суть не В, а некоторые С суть В, то некоторые С суть не А или В. 6. 3x\/y(P(x,y)=>\fzQ(x,y,z)). 1.A=3z3y\/xQ(y,x,z):=i>\fxP(a,x), B-\/x3yP(x,y)=^3y\fxP(x,y). 8. Все D суть не Е. Все С суть А . Ни одно В не есть D. Все Е суть А . Следовательно, некоторые А суть D. 9. Р-саа,Q-caabccabcdd. 10.P=ddc,Q=ddcccdab. 11. Смотри условия задачи. 12.хху^. 13. A ^ A ^ I 1 (А=>А)). 14. ({Nx)Sc(Ny))=^iNz), N(yvx)=>iNz), 15. I * u В*.А*пС*,А*<^В*пС* 309