(см. скан)
Имеем таблицу (в которой обозначает вероятность отсутствия ошибки) Но
Объединив слагаемые с одинаковой вероятностью, получим
Представим логарифм произведения в виде суммы двух логарифмов:
Первое слагаемое вносит вклад в сумму (8.3.2):
Второе слагаемое в (8.3.3) дает аналогичный вклад в сумму (8.3.2):
Объединив их, получаем
где использовано естественное обозначение
Поэтому взаимная информация (8.3.1) имеет вид