The two binary terminal payoffs are complementary:
in every state, including . Long one of each is therefore exactly a unit zero-coupon bond. The law of one price gives digital put-call parity:
With deterministic interest, the two separate values are and . There is no need to assume a continuous terminal price distribution: the strict inequality for the put and weak inequality for the call allocate any atom at the strike exactly once.
The digital call option and digital put option indicators partition the possible terminal stock prices:
Thus the digital put-call parity is
At time zero, part b gives , so