抄録
3 次元空間内における地層の分布域は，いくつかの境界面で上下を境された部分空間として認識される．地層と境界面の関係は地質構造の論理モデルとよばれる．地層の分布域は各境界面によって 2 分割された領域の共通集合あるいは共通集合の和集合の形式で表現される．この表現形式をブール代数という一般的な視点から再考することによって，地質構造の論理モデルへの理解が深まるだけでなく，さらには新しいアルゴリズムの発見へと発展する可能性がある．本講座では地層の分布域を表現する多項式にかかわる分野に話題を限定して，ブール代数の基礎概念を演算法則，順序構造，原子元，ブール同型，ブール関数，ブール式，minterm 標準形の順に解説する．最後にその応用例として，地層の分布域をブール式の minterm 標準形として一般表現する手続きを示す.
