Bastano un paio di for annidati.
Il più esterno scorre il tuo array a.
Quello interno controlla se l'elemento corrente di a è presente in b: se non è lo aggiunge, altrimenti passa avanti.