Для проверки выполнения обратного условия Фано нужно построить дерево Хаффмана. В таком дереве каждый символ, используемый в сообщении, будет иметь уникальный код, и ни одно кодовое слово не будет являться окончанием другого кодового слова. Таким образом, если сообщение было закодировано с использованием дерева Хаффмана и выполняется обратное условие Фано, то оно может быть однозначно декодировано.