!Aみたいに変数の左側に付いているのは論理否定を意味します。 論理演算子の1つでtrueとfalseを入れ替えるものですが、端的に言えば「0を1」に「1(正しくは0以外)を0」に変換する演算子です。 これを使えば「IF A==0 THEN ~」を「IF !A THEN ~」と記述することが可能になります。これを使いこなすには論理式や論理演算子についての知識が必要になるため調べておくと良いでしょう。