Не совсем понимаю, как здесь использовать двоичную матрицу, поэтому решу по-своему.
Шестикласснику не повезло — он не нашёл ни одного гриба, а Петя с пятиклассником нашли много грибов.
Вывод 1: Петя или 7-классник, или 8-классник.
Ваня и семиклассник нашли куст малины и позвали Кирилла полакомиться ягодами.
Вывод 2: Ваня и Кирилл не семиклассники.
Восьмиклассник, шестиклассник и Кирилл объясняли Саше, как ориентироваться на местности.
Вывод 3: Кирилл и Саша или в 5 классе, или в 7 классе.
Вывод 4: Так как 5 и 7 класс - это Кирилл и Саша, пока неизвестно в каком порядке, значит, что Петя не может быть 7-классником. Следовательно, он 8-классник.
Вывод 5: Исходя из вывода 2 и 4, Ваня и Кирилл занимают 5 и 6 класс.
Объединим выводы 3 и 5 - Кирилл в 5 классе, Саша в 7 классе, Ваня в 6 классе.
ответ: 5 класс - Кирилл, 6 класс - Ваня, 7 класс - Саша, 8 класс - Петя.
--- Python 3.8.3 ---
import typing
from typing import Callable
from typing import Any
Primitive = typing.TypeVar('Primitive', int, float, complex, str, bytes, bytearray)
def ReadSeqWhile(predicate: Callable[[Any], bool], SeqType: Primitive = int):
'''
Возвращает последовательность элементов в указанном типе, считываемых с клавиатуры, пока ввод удовлетворяет условию
'''
temp = SeqType(input())
while predicate(temp):
yield temp
temp = SeqType(input())
def main():
InputData = ReadSeqWhile(lambda p: p != '', SeqType = str)
for _ in InputData:
print('text')
if __name__ == "__main__":
main()