i have tried verifying without using boolean equation
overflow=$(a_{n-1}.b_{n-1}.s_{n-1}^{'})+(a_{n-1}^{'}.b_{n-1}^{'}.s_{n-1})$.
As in the question it is clearly written that
Using a 4-bit 2's complement arithmetic
so MSB must be a sign bit, using this approach , i converted $1111$ to $(-1)_{10}$
and proved that overflow is not occuring as-:$1111+1111$=$(-2)_{10}$=$1110_{2}$.
Also if you apply the boolean equation ,
$a_{n-1}=1$,$b_{n-1}=1$,$s_{n-1}=1$
so overflow=$1.1.0+0.0.1=0$,hence no overflow for $1111+1111$