validacion de checkbox explicacion duda

[vani18]

bueno si... puede ser....

1) pero alguien me puede explicar que sucede aca...

while (x<formulario.micro.length && !opcion)

por que entra en el while---?

si la condicion dice que mientras . x sea menor que la longitud de la matriz y "!opcion" sea negado. osea un true... como es ?

si el option tiene false... y el option negado del mientras tiene un TRUE... por que entra??

----------------------

2)

despues bueno en otro lado mas abajo dice...

que cuando esta checkeado un checkbox. se le asigna a "opcion" el valor true.... bien despues llega al if este

if (!opcion){
alert("Tienes que seleccionar alguna opción.....");
return false;
}

al estar checkeado no entra nunca al if, pero por que...
opcion es true... como compara con el if... que tiene una variable negada... ??
el conocido "!opcion"
como me doy cuenta que no va con el IF?, ya que despues lo salta y devulve TRUE como indica en el codigo...