Se eu estiver lendo sua pergunta corretamente, você deseja obter a distribuição dos resultados do maior de um par (d20, d4) menos o menor. Este programa anydice fará isso por você:
output [absolute d20 - d4]
Ele utiliza a função de valor absoluto embutido, que fornece a distância medida positivamente entre dois números em uma reta numérica. (Entre muitas outras interpretações úteis.)