Originariamente inviato da Lak3d
Codice PHP:
$arr[]=(12,23,34,47,58,69,70);
$rnd=$arr[rand(0,sizeof($arr)-1)];
echo(
$rnd);

$supp_arr[]=$rnd;

for(
$i=1$i<5$i++){
   
$rnd=$arr[rand(0,sizeof($arr)-1)];
   while(
in_array($rnd$supp_arr)){
         
$rnd=$arr[rand(0,sizeof($arr)-1)];
   }
   echo(
$rnd);
   
$supp_arr[]=$rnd;

il concetto è questo, anche se l'ho scritto di getto e potrebbe contenere errori.
Oppure puoi sempre, una volta estratto l'elemento a random eliminarlo definitivamente dall'array con pop...
ci sono le funzioni apposta un ti complicare la vita XD