В операторе y:=x*x+4/x+3 используется операция деления, которая всегда возвращает вещественный тип. Следовательно, и всё выражение в правой части всегда будет иметь вещественный тип. А в левой части стоит переменная целого типа. Присваивание вещественного значения целочисленной переменной запрещено правилами языка Паскаль. Чтобы избавиться от ошибки, нужно знать алгоритм, который реализует программа. В зависимости от алгоритма может быть использована операция целочисленного деления, может быть использована функция Trunc(), возвращающая целочисленное значение аргумента, либо переменная y должна объявляться вещественной.
x1→(x2∧x3∨x4∧x5∨x6∧x7) при
x1 x2 x3 x4 x5 x6 x7 F
0 1 0 1 1 1 0 0
0→(1∧0∨1∧1∨1∧0) = 0→1 = 1, а F=0. Не подходит
2.
x2→(x1∧x3∨x4∧x5∨x6∧x7) при
x1 x2 x3 x4 x5 x6 x7 F
0 1 0 1 1 1 0 0
1→(0∧0∨1∧1∨1∧0) = 1→1 = 1, а F=0. Не подходит
3.
x3→(x1∧x2∨x4∧x5∨x6∧x7) при
x1 x2 x3 x4 x5 x6 x7 F
0 1 0 1 1 1 0 0
1→(0∧1∨1∧1∨1∧0) = 1→1 = 1, а F=0. Не подходит
4.
x4→(x1∧x2∨x3∧x5∨x6∧x7) при
x1 x2 x3 x4 x5 x6 x7 F
0 1 0 1 1 1 0 0
1→(0∧1∨0∧1∨1∧0) = 1→0 = 0 - верно
x1 x2 x3 x4 x5 x6 x7 F
1 0 1 1 0 0 1 0
1→(1∧0∨1∧0∨0∧1)=1→0 = 0 - верно
x1 x2 x3 x4 x5 x6 x7 F
0 1 0 1 1 0 1 0
1→(0∧1∨0∧1∨0∧1)=1→0 = 0 - верно
ответ: Выражение x4→(x1∧x2∨x3∧x5∨x6∧x7) соответствует F.
Чтобы избавиться от ошибки, нужно знать алгоритм, который реализует программа. В зависимости от алгоритма может быть использована операция целочисленного деления, может быть использована функция Trunc(), возвращающая целочисленное значение аргумента, либо переменная y должна объявляться вещественной.