Negation: If p is any proposition its negation is denoted by ~p, read‘not p‘. It follows from this definition that if p is true, ~p…