# Bool型

Bool型は、真理値を表す型です。ある命題が真であれば、true、偽であれば、falseの値を返します。

let a = true
let b = false

# 否定

否定とは、真理値を逆にする論理演算です。

否定を表す演算子は、! を値の手前に記述します。

let a = true // true
let b = !a  // false

# 論理積

論理積とは、複数の真理値がすべて真であれば、true を返す論理演算です。

論理積を表す演算子は、&& を使用します。

let a = true && true    // 全てtrueなので、true
let b = true && false   // 一つはfalseなので、false
let c = false && true   // 一つはfalseなので、false
let d = false && false  // 二つともfalseなので、false

# 論理和

論理和とは、複数の真理値の一つでも真があれば、true を返す論理演算です。

論理和を表す演算子は、|| を使用します。

let a = true || true    // 全てtrueなので、true
let b = true || false   // 一つでもtrueなので、true
let c = false || true   // 一つでもtrueなので、true
let d = false || false  // 二つともfalseなので、false