Sorry si el codigo te parece muy ofuscado, esta simplificado:
Código PHP:
<script>
function limpiaSel(opc) {
for(var i=1; i<=3; i++)
eval("forma.chk"+i+".disabled= "+( opc!=i )+" ;");
}
</script>
...
<form name="forma">
<select name="sel1" onChange="limpiaSel( parseInt(this.options[this.options.selectedIndex].text.split('').reverse()[0]) );">
<option></option>
<option>opcion 1</option>
<option>opcion 2</option>
<option>opcion 3</option>
</select>
<input type="checkbox" name="chk1" disabled/>
<input type="checkbox" name="chk2" disabled/>
<input type="checkbox" name="chk3" disabled/>
</form>
En Opera8.01, firefox1.06, y IE6.
PD: Utiliza el BBCode, la etiqueta PHP en vez de color rojo, que para eso se inventó.