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

11 15. С^и А*, А^иС*, A^ufB^nC^J. Вариант 11 А необходимо для В, а В достаточно для С или ^4, но ^ не эквивалентно С. B&Dv(CvJi)&( Jivb)&(AvC)&(Avb) vB& bvB&A& 1в. A&Cv((AvB)^l:). В^, Ъ^В, l:^D^(C^B)^(D^A). Если все А суть В, а некоторые В суть С, тогда существуют ^4, такие что С. P(x)^VyP(y). А= Vx3yQ(x,a,y)^ 3xP(x,f(x)), В= \/хБуР(х,у)^VyVxQ(a,y,x). Ни одно С не есть D. Все А суть D. Все В суть С. Следовательно, все В не есть А. Р=ааЬсс, Q=aabccdabcdd. 10. P=aabc, Q=aabccdab. 11. Смотри условия задачи. 12. д?(Зс,з^^=частному от деления у на х. 13. (!А^!А)^(А^А). \А. (NX^NY) VZ, (У^Х) VZ. 15. А^пС^, А^иВ^, С^Г)(В^и А^). Вариант 12 1 . А необходимо для В, а В достаточно для Си ^4, но ^ не эквивалентно С или В. (Av(CvB&C))& 1(C&D)&C& b&(CvlC& bvD)vB&A& 1a. 1A^vA&B& pu^vR,1P, 1q, 1R\^^S. Если некоторые В суть не но ни одно В не есть С, то некоторые А суть не С. БхР(х)^ VxP(x). А=Бх VyP(х,у)^VxQ(a,x), В= Vx3y VzS(x,f(y),z)^3y VzQ(y,z). Все С не есть D. Все А суть не D. Все В суть С. Следовательно, все В есть А. P=bcab, Q=bcabccdabcda. 10. P=aba, Q=ababcdab.