В статье рассматриваются эквивалентные формулировки бинарной проблемы Гольдбаха в терминах множеств тавтологий последовательностей логических матриц и отдельных логических матриц. При этом существенную роль играют понятия тавтологий логических матриц, а также произведений и сумм логических матриц из последовательности Kn+1 (матриц Карпенко). Таким образом, в статье дается вариант ответа на поставленный А.С. Карпенко вопрос о возможности наличия связи между подобными Kn+1 последовательностями матриц и отдельными логическими матрицами и известной как бинарное утверждение Гольдбаха открытой проблемой: всякое четное натуральное число n ≥ 4 может быть представлено в виде суммы двух простых чисел (G2). Доказано утверждение о том, что всякая конечнозначная матрица в построенной последовательности M имеет тавтологии, если и только если G2 является истинным. С использованием свойств операции произведения матриц доказано, что бесконечнозначная матрица M⊗ имеет тавтологии, если и только если G...