駅北側に設置されている「大船工場」が最寄りバス停。この他、車両基地への分岐点付近及び深沢交差点付近に設置されている「深沢」「湘南深沢」も利用可能。なお「深沢」バス停は複数箇所に乗り場が設置されており、そのうちスーパーマーケットやまか深沢店前に設置されている乗り場と「湘南深沢」バス停は同位置である。論理演算コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。なお、証明論的には、公理と推論規則に従って論理式を変形(書き換え)する演算がある(証明論#証明計算の種類)。演算の種類.この節、および以降に続く節では、和に∨、積に∧の記号を使う。定理.以上の演算に対して成り立っている定理として、以下のようなものがある。(証明論的には(「命題論理の証明論」)、以下の等式のいくつかに相当する公理and・or推論規則が採用される)その他.その他の話題完全性.追分(おいわけ)は、道が二つに分かれる場所をさす言葉である。概要.が、そこから街道の分岐点も意味するようになり、甲州街道と青梅街道の分岐である新宿追分や、中山道と北国街道の分岐である信濃追分など、各地に地名として残っている。類義語・対義語としては、追分と同様に分岐点を意味する「ワカレ」(「分かれ(分れ)」「別れ」「岐れ」などと表記される)、道が合流する点という意味の「落合」「出合」があり、こちらも各地の地名としてその名を残す。海外の「追分」.なお、台湾では「追分数」(点を追加する=試験で良い点数を取る)や「追婚」(結婚したい)という言葉を連想させ、特に台中追分の隣駅が成功駅ということもあり、追分成功と書かれた切符を求める人が多い。追分節.日本の民謡には、「○○追分」(○○は地名)という曲が各地にあり、その多くは朗々と声を響かせてうたう歌である。著名なものに「江差追分」などがある。もともとは信濃追分(現在の長野県北佐久郡軽井沢町)付近で歌われていた馬子唄(小諸馬子唄)が、関東以北の各地を中心に広がったとされている。追分の音楽的特徴として、などが挙げられる。この為、難しい方に入る。