Мне нужно оформить решение задачи в виде таблицы а затем записать ее аксиоматическое доказательство.У меня есть примеры работ