a12.php

<?php 
$names = ["A", "B", "C", "D", "E", "F", "X", "D", "Y", "Z", "X", "C", "F"];
$unique_names = array_unique($names);
print_r($unique_names);