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

пренексной нормальной формой). Сюда относится и случай п=0, когда вообще нет кванторов. 46. 1) привести к предваренным нормальным формам формулы из задачи 44; • 2) привести к предваренным нормальным формам следующие формулы; а) Vx(A{x)=>B(x,y))=^((3yA(y))^3zB(y,s)), б) ЗхВ{х^):=>{А{х)^'\ 3zB{x,z))^ в) \/x(y}BzC{x,y,z)=>A{x))-=>'^xA{x), г) 13xA{x)=^\fzBy\/xC{x,y^). 47. Привести к предваренным нормальным формам следующие формулы: а) ЗхА(х) =>VxiS(^;); б) Vx/4(x) =>3xfi(x); в) \/x\/y(3z(A(x,y)&B(y,z)) =>3vC(x,y,v)); г) \/х(А{х) =>ЗуВ{х,у))- д) Зх{А(х) ^УуВ{х,у))], е) 3x(l(3j^(xj^)) =>(32i?(z) =>C(x))); ж) \/x3y(\/zA(x,y,z)&{3uB{x,u) =5>3vC0-',v))).