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

13 Все А суть не В. Некоторые В суть С. Следовательно, не существует А таких, что В или С. P=dcdaa, Q=dcdaabccabcd. 10. P=dcdca, Q=dcdcacbaca. 11. Смотри условия задачи. I2.(x+yf. 13. (А^А)^((1А^А)^А). \А. (NX^NY) VZ, (У^Х) VZ. 15. А^пС^, B^lXJ^, А^Г)В^пС^. Вариант 15 А только тогда, когда В, а В необходимо для С или А, но А недостаточно для С. A&B&CVA&B& lA&Cv(AvB)&(CvD)&(Avb)vD&BvC&A& 1С. (A^)v(A^B). А^(С^В), D^A, С 1= D^B. Когда все D суть В, а некоторые А есть С или не В, то ни одно В не есть С. (ЗсР(х)) v3xQ(x)=3xBy(P(x) vQ(y)). A=3y VxQ(a,f(x,y))^VxByP(х,у), В=БхБуР(х,у)^Бу VxP(y,x). Некоторые С не есть D. Все А суть D. Все В суть не С. Следовательно, все В суть А. P=ccda, Q=ccdacdaacdd. \0. P=accb, Q=accbccaab. 11. Смотри условия задачи. \2.(х+у)! 13. ( Ja ^ A )^( Ia ^ A ). 14. (Nx) v((Ny) vz), x^((Ny) vz). 15. C^n A^,A^u B^, A^n(B^uC^). Вариант 16 A достаточно для В, а В влечёт С либо А, но А не эквивалентно С. (А vB \yC)&(lAvB vA vC)&(A&B vC&D vA& Ъ)&(В vB) vB&C& ]C. A^(CvA)^B. C^(A vB), D^(B vC) 1= A vB.