In the Manchester code discussed in Chapter 6, binary symbol 1 is represented by the doublet pulse s(t) shown in given Figure, and binary symbol 0 is represented by the negative of this pulse.
Derive the formula for the probability of error incurred by the maximum likelihood detection procedure applied to this form of signaling over an AWGN channel.