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

9 1A\/ZvA&B^1Z. 'PvlQvR, l'vl3vS,P,Q^S. Некоторые В суть не ^ и ни одно В не есть С, но некоторые А суть С. (VxP(x))& VxQ(x)= \/х Vy(P(x)&Q(y)). А= \/х VyQ(a,b,x,y)^VxP(х,х), В =БхБу VzR(x,y,z)^3y VzP(y,z). Все не В суть А. Ни одно А не суть D. Все В суть С. Следовательно, все D 15. С ^ иВ^, А^г^^, А^и(В^г^^). Вариант 8 А, когда В и С, а В при условии, что С, но из С не следует А и В. 2. А& l:v(('kvD)&(BvD)& 1а& b&(Bvb))vA&CvC& t&D. 3. А^В&С. IPVIQVR, l'vll,P,Q, hvS, hvT^S&LR. Все ^ суть не В, а некоторые С суть В, но некоторые С суть А или не В. \/х VyP(x,y)^VxP(x,x). А=3у VxP(x,y)^VxP(a,x), В= Vx3yP(x,y)^ 3z3y VxQ(y,x,z). Все D суть Е. Все С суть А. Ни одно В не есть не D. Все Е суть не А. Следовательно, некоторые А суть D. P=dccaa, Q=dccaabccabcdd. 10. P=ddbc, Q=ddbcccdab. 11. Смотри условия задачи. 12. тах(х,у). 13. А ^ ( 1 а ^ Ja^A)). 14. ((Ш) & (Ny)) Щу&х) v^. 15. А^ иВ^, А^пС^, А^Г)(В^иС^). суть с . P=badb, Q=badbdabcdd. 11. Смотри условия задачи. 10. P=abab, Q=abababd. 12. MIN(XI,X2, •••Х„). 14. N((Nx) yy)&z, (N(x^y))&z. 13. (a^A)^(IA^IA) . Вариант 9