io userei str_replace

$c=str_replace($b, '', $a)

comunque qui trovi molti altre funzioni relative alle stringhe http://php.html.it/guide/lezione/265...e-le-stringhe/