擬似言語の問題の中のnot foundとは

現在、基本情報技術者資格取得のための勉強中です。
午後対策として擬似言語の問題を解いているのですが、その問題の命令文の中で分からない箇所が出てきたので教えてください。

反復条件式で
K ≦ max and not Found
というのが出てきたのですが
このnot Foundの意味がわかりません。
なお、整数型変数Kと論理型定数Foundは既に定義されています。

not Foundはおそらく論理型定数Foundがfalseをとっていることを示していると思うのですが、いまいち確信がもてないので教えてください。お願いします。

No.2 ベストアンサー 回答者： okg00 回答日時： 2006/10/03 17:19

論理型定数Found

なので。


(K ≦ max)　かつ　(Found　= "False")

と置き換える事ができます。条件式で論理型定数が出てきた場合、"=True"というのは省略できます。この場合、not条件ですので"=False"と等価です。

この回答へのお礼

なるほど、よく理解できました。
ありがとうございます。

お礼日時：2006/10/03 21:07

No.3 回答者： a-saitoh 回答日時： 2006/10/03 19:51

擬似言語ですから、単なる単項論理演算子の　NOT(真偽反転)　です。

なお、擬似言語である以上、TRUEとFALSEが実際には0であるとか1であるとかいうことは考えてはいけません。あくまでも「真」、「偽」という抽象的な概念です。
Cでいうと、(K<=max)&　!Found　が対応するでしょうか。

この回答へのお礼

勝手に概念を当てはめるのは危険なんですね。
ありがとうございます。

お礼日時：2006/10/03 21:08

No.1 回答者： chie65536 回答日時： 2006/10/03 16:52

通常、比較式、判定式の中では「０は偽」「非０は真」と扱います。

従って

K ≦ max and not Found
は
K ≦ max and not Found ≠ 0
と言う意味で
Kがmax以下で、かつ、Fountが非０でない
つまり
Kがmax以下で、かつ、Fountが０
の場合に真になります。

この回答へのお礼

Foundにおいて、0がfalse、1がtrueということでしょうか

お礼日時：2006/10/03 16:57