論理式
論理式は単独の論理項目か、複数の論理項目を論理演算子で結合したものです。
論理演算子 | 演算 |
---|---|
& | 論理積 |
| | 論理和 |
論理項目
論理項目は、文字列比較式です。
文字列比較式
文字列比較式は2つの文字列式を、比較演算子で結合した記述をします。
左右それぞれの文字列式を演算して文字列を求めたのち、比較演算をして真偽を判定します。
文字列比較演算子
比較演算子 | 別表現 | 判定条件 |
---|---|---|
= | 等しい | |
≠ | <> | 等しくない |
> | 左側が、文字列としての順番が後 | |
< | 左側が、文字列としての順番が先 | |
≧ | >=, => | 等しいか、左側が文字列としての順番が後 |
≦ | <=, =< | 等しいか、左側が文字列としての順番が先 |
⊇ | 左側の文字列中に右側の文字列が含まれる | |
⊆ | 右側の文字列中に左側の文字列が含まれる |