А черт его знает. Во-первых, языка Paskal нет, во вторых, это зависит от того, как объявлены переменные. Если предположить, что это Pascal и переменные объявлены так, чтобы этот фрагмент имел смысл, то результатом будет значение k, равное количеству истинных значений на главной диагонали булевской матрицы а, вычисленное самым глупым и неоптимальным способом.