diff --git a/ch3/ch3-04.md b/ch3/ch3-04.md
index f21c450..5e64d0e 100644
--- a/ch3/ch3-04.md
+++ b/ch3/ch3-04.md
@@ -1,3 +1,53 @@
 ## 3.4. 佈爾型
 
-TODO
+
+一个布尔类型的值只有两种 true 和 false. if 和 for 语句的条件部分都是布尔类型的值, 并且 == 和 < 等比较操作也会产生布尔型的值. 一元操作符 `!` 对应逻辑非操作, 因此 `!true` 的值为 `false`, 也可以说是 `(!true==false)==true`, 虽然表达方式不一样, 不过我们一般会采用简洁的布尔表达式, 就像用 x 来表示 `x==true`.
+
+布尔值可以和 && (AND) 和 || (OR) 操作符结合, 并且可能会有短路行为: 如果运算符左边值已经可以确定整个布尔表达式的值, 那么运算符右边的值将不在被评估, 因此下面的表达式总是安全的:
+
+```Go
+s != "" && s[0] == 'x'
+```
+
+其中 s[0] 应用于空字符串会导致 panic 异常.
+
+因为 `&&` 的优先级比 `||` 高 (助记: `&&` 对应逻辑乘法, `||` 对应逻辑加法, 乘法比加法优先级要高), 下面形式的布尔表达式是不需要加小括弧的:
+
+```Go
+if 'a' <= c && c <= 'z' ||
+	'A' <= c && c <= 'Z' ||
+	'0' <= c && c <= '9' {
+	// ...ASCII letter or digit...
+}
+```
+
+布尔值并不会隐式转换为数字值0或1, 反之亦然. 必须使用一个显式的if语句辅助转换:
+
+```Go
+i := 0
+if b {
+	i = 1
+}
+```
+
+如果需要经常做类似的转换, 包装成一个函数会更方便:
+
+```Go
+// btoi returns 1 if b is true and 0 if false.
+func btoi(b bool) int {
+	if b {
+		return 1
+	}
+	return 0
+}
+```
+
+数字到布尔型的逆转换则非常简单, 不过为了保持对称, 我们也可以包装一个函数:
+
+```Go
+// itob reports whether i is non-zero.
+func itob(i int) bool { return i != 0 }
+```
+
+
+