bueno disculpa y gracias, ahora mismo reemplaze la linea de codigo
Código PHP:
Ver originalif ((primer_num=="") || ($segundo_num=="") || ($tercer_num==""))
{
header('location:ejemplo2.html'); }
por esta
if (!isset($_POST['num1']) || !isset($_POST['num2']) || !isset($_POST['num3'])){
header('location:ejemplo2.html'); }
pero no redirecciona,