1) Подтвердить или опровергнуть логическое следование методом резолюций. (рис.1) 2) На множестве М= - id1346738820220622 от emiliskenderov 22.06.2022 23:45

Question

Информатика: 1) Подтвердить или опровергнуть логическое следование методом резолюций. (рис.1) 2) На множестве М= {1, 2, 3, 4,…, 18, 19, 20} Заданы предикаты: X – «число x кратно 3» Y– «число x кратно 4» Z– «число x четно» Найти область истинности предиката: (рис.2) 3) Выразить заданное утверждение с формулы логики предикатов. УТВЕРЖДЕНИЕ: Не всякий, в ком есть упорство, может изучить логику, но всякий, изучивший логику, обладает упорством. 4) Привести заданную формулу логики предикатов к предваренной нормальной

emiliskenderov · Accepted Answer

def sqc(xa,ya,xb,yb,xc,yc) :

return ((xb - xa) * (yc - ya) - (xc - xa) * (yb - ya)) / 2

xa, ya, xb, yb = map(float,input().split())

n, m = map(int,input().split())

astra = []

sc = []

res, smax = 0, 0

for i in range(n) :

xc, yc = map(float,input().split())

astra.append((xc,yc))

sctmp = sqc(xa,ya,xb,yb,xc,yc)

if smax < abs(sctmp) :

smax = abs(sctmp)

#print(sctmp)

sc.append(sctmp)

for i in range(m) :

xc, yc = map(float,input().split())

sp = sqc(xa,ya,xb,yb,xc,yc)

if smax < abs(sp) :

smax = abs(sp)

#print(sp)

for j in range(n) :

xd, yd = astra[j][0], astra[j][1]

if sp * sc[j] < 0 :

if smax < abs(sp * sc[j]) :

smax = abs(sp * sc[j])

print('{:.2f}'.format(smax))

У меня получилось.

MOGZ ответил