With exercise (2), the term maximal normal subgroup allows for the trivial group to be an example, which means even simple groups have maximal normal subgroups. Just use $mathbb {Q}$ as a counterexample again – it’s abelian so all subgroups are normal, and a “maximal normal subgroup” would just be a maximal subgroup then.