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

8. Все С суть D. Некоторые А суть D. Все не В суть С. Следовательно, все В есть^. 9. P=ccad, Q=ccaadcacdabcdd. \Q.P=cab, Q-cabccdcc. 11. Смотри условия задачи. 12. тах(хьх2,хз). 13. { А ^ М ) ^ { А ^ М ) . 14. (A'jc)=>(y&z), XV(y&z). 15.C * u l * , А*глВ*,А*глВ*г^С''. Вариант 21 1. Как А , так и В, а В необходимо для С или А, но А не эквивалентно С. 2. iAvBvM&.^)SL(BvCvBSdD)SL\AvD)&B&]AvB&A&'] В. 3.A&CvA&Bv^C. 4.A ^ i B ^ Q , D^E^A, C=i>F|=5=>(FvD). 5. Если все А суть не В, а некоторые В суть С, то существуют не А такие, что С. 6. Зх{Р{х)&\/у(Р(у)=>д{х,у))'). 7. Л=\/хР(х,а)=> Зу\/хР(у,х), B=\/x3yP(f{x,y),y)^3y\/xP(y,x). 8. Ни одно С не есть D. Все А суть D. Некоторые В суть С. Следовательно, все В не есть А . 9.P=aabbc, Q=aabbccdabcdd. 10. P=aabd, Q=aabdcdab. 11. Смотри условия задачи. 12. (x+y)xz. \3.(А=^(А^А))^(\(А^А)=^']А). 14. ( ( N x ) ^ y ) S i z , ((Л(у)=>х)&2. 15. А*пВ'*, А*<иС*, А*п{В*иС*). 311