1) на числовой прямой даны два отрезка: p = [21, 35] и q = [8, 25]. отрезок a таков, что формула
((x ∉ p) ∨ (x ∈ q)) → (x ∉ a)
истинна при любом значении переменной x. какое наибольшее количество точек, соответствующих чётным целым числам, может содержать отрезок a?
2) на числовой прямой даны два отрезка: p = [12, 28] и q = [15, 30]. отрезок a таков, что формула
((x ∈ p) → (x ∈ a)) ∧ ((x ∉ q) (x ∈ a))
истинна при любом значении переменной x. определите наименьшую возможную длину отрезка a.
3) на числовой прямой даны два отрезка: p = [0, 10] и q = [25, 50]. отрезок a таков, что формула
(x ∉ a) → ((x ∉ p) ∧ (x ∉ q))
истинна при любом значении переменной x. определите наименьшую возможную длину отрезка a.
4) для какого наибольшего целого числа а формула
( (y*y ≤ a) → (y ≤ 15) ) ∧ ( (x ≤ 3) → (x*x < a) )
тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?
5) для какого наименьшего целого числа а формула
( (y*y < a) → (y ≤ 14) ) ∧ ( (x ≤ 13) → (x*x < a) )
тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?
6) сколько существует целых значений а, при которых формула
( (x ≥ 15) → (x*x > a) ) ∧ ( (y*y ≥ a) → (y > 11) )
тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?
7) сколько существует целых значений а, при которых формула
( (x ≥ 11) → (x*x+2*x > a) ) ∧ ( (y*y + 3*y ≥ a) → (y > 8) )
тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?
inFile = open('input.txt', 'r', encoding='utf8')
outFile = open('output.txt', 'w', encoding='utf8')
score = []
i = 0
nstr = 1
for line in inFile:
if nstr == 1:
k = int(line)
else:
line1 = line.split()
sc3 = int(line1[-1])
sc2 = int(line1[-2])
sc1 = int(line1[-3])
if sc1 >= 40 and sc2 >= 40 and sc3 >= 40:
score.append(sc1 + sc2 + sc3)
i += 1
nstr += 1
inFile.close()
if k >= i:
print(0, file=outFile)
else:
score.sort(reverse=True)
if score[k-1] > score[k]:
print(score[k-1], file=outFile)
else:
ans = ''
for ii in score[k-1::-1]:
if score[k-1] < ii and ans == '':
ans = ii
if ans == '':
ans = 1
print(ans, file=outFile)
outFile.close()
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<title>Table</title>
</head>
<body>
<table border="1">
<tr>
<td rowspan="3">day</td>
<td colspan="3">seminar</td>
</tr>
<tr>
<td colspan="2">schedule</td>
<td rowspan="2">topic</td>
</tr>
<tr>
<td>begin</td>
<td>end</td>
</tr>
<tr>
<td>monday</td>
<td>8</td>
<td>5</td>
<td>introduction to xml</td>
</tr>
<tr>
<td rowspan="3">tuesday</td>
<td>8</td>
<td>11</td>
<td>xpath</td>
</tr>
<tr>
<td>11</td>
<td>2</td>
<td rowspan="2">xsl</td>
</tr>
<tr>
<td>2</td>
<td>5</td>
</tr>
<tr>
<td>w</td>
<td>8</td>
<td>12</td>
<td>xsl</td>
</tr>
</table>
</body>
</html>