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