模拟声音经过采样、量化和编码后得到一个数字音频，请同学们把下列文件格式是数字音频的列出来：MP3、PSD、DOS、CDA、EXE、BMP、WAV、AVI、PNG、MIDI、GIF、TXT数字音频文件格式有：，，，。