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

16 Вариант 20 А только тогда, когда В, а В достаточно для С или ^4, но ^ не эквивалентно С. (Bvlb)&(B vD)&(CvB)&(bvD) vb&A vB&A& 1A VA&D. AvC^(A^B). AvB,A^B, B^(C^ID), A^D\= ](A&C). Когда не все D суть В, а ни одно А не есть С, тогда некоторые В не есть С. (VxP(х)^VxQ(x)) =3х Vy(P(x)^>Q(y)). А= VxQ(a,f(x,y)) ^VxByP (х,у), В =БхБуР(х,у)^Эу VxP(y,x). Все С суть D. Некоторые А суть D. Все не В суть С. Следовательно, все В есть А. P=ccad, Q=ccaadcacdabcdd. \O.P=cab, Q=cabccdcc. 11. Смотри условия задачи. 12. тах(х1,х2,хз). 13. (A^Ia)^(A^IA). \A.(Nx)^(y&z), xv(y&z). 15. С^и А^ , А^ пВ^, А^пВ^пС^. Вариант 21 Как А, так и S, а S необходимо для С или А, но А не эквивалентно С. (А VBV1A& b)&(BvCvB&D)& JA VD)&B& 1A VB&A& 1B. A&CvA&BvlZ. A^(B^>C), D^E^A, C^F\= B^(FvD). Если все A суть не В, а некоторые В суть С, то существуют не А такие, что С. Зх(Р(х)& Vy(P(y)^(x,y))). А= VxP(x,a)^ Бу VxP(y,x), В= Vx3yP(f(x,y),y)^3y VxP(y,x). Ни одно С не есть D. Все А суть D. Некоторые В суть С. Следовательно, все В не есть А. P=aabbc, Q=aabbccdabcdd. 10. P=aabd, Q=aabdcdab. 11. Смотри условия задачи. 12. fx+yJxz. 13. (A^fA^AJJ^f '](А^А)^1А) . 14. ((Nx)^y)&z, ((Ny)^x)&z.