☰
WH
·
CSBank
首頁
題庫專區
模擬考專區
Pro 方案
聯絡我們
首頁
題庫
模擬考
Pro
聯絡
總覽
資料結構
388
演算法
212
作業系統
290
計算機組織與結構
266
離散數學
161
線性代數
182
演算法
›
Ch4 圖論演算法
第 44 題／共 111 題
◀
AL 44/111
錯題回報
00:00
44. 2-SAT、Satisfiability、CNF
#AL-04-044
中
2-SAT
Satisfiability
CNF
📝
☆
Which one of the following 2-SAT problems (in conjunctive normal form, CNF) is satisfiable?
A
(a)
F
=
(
a
+
b
)
(
a
+
¬
b
)
(
¬
a
+
b
)
(
¬
a
+
¬
b
)
F = (a+b)(a+\lnot b)(\lnot a+b)(\lnot a+\lnot b)
F
=
(
a
+
b
)
(
a
+
¬
b
)
(
¬
a
+
b
)
(
¬
a
+
¬
b
)
B
(b)
F
=
(
a
+
b
)
(
a
+
¬
b
)
(
¬
a
+
c
)
(
¬
a
+
¬
c
)
F = (a+b)(a+\lnot b)(\lnot a+c)(\lnot a+\lnot c)
F
=
(
a
+
b
)
(
a
+
¬
b
)
(
¬
a
+
c
)
(
¬
a
+
¬
c
)
C
(c)
F
=
(
a
+
b
)
(
¬
a
+
b
)
(
¬
b
+
c
)
(
¬
b
+
d
)
(
¬
c
+
¬
d
)
F = (a+b)(\lnot a+b)(\lnot b+c)(\lnot b+d)(\lnot c+\lnot d)
F
=
(
a
+
b
)
(
¬
a
+
b
)
(
¬
b
+
c
)
(
¬
b
+
d
)
(
¬
c
+
¬
d
)
D
(d)
F
=
(
a
+
b
)
(
¬
a
+
b
)
(
¬
b
+
¬
c
)
(
¬
b
+
¬
d
)
(
c
+
d
)
F = (a+b)(\lnot a+b)(\lnot b+\lnot c)(\lnot b+\lnot d)(c+d)
F
=
(
a
+
b
)
(
¬
a
+
b
)
(
¬
b
+
¬
c
)
(
¬
b
+
¬
d
)
(
c
+
d
)
E
(e)
F
=
(
a
+
b
)
(
¬
a
+
b
)
(
¬
b
+
¬
c
)
(
¬
b
+
¬
d
)
(
c
+
¬
d
)
F = (a+b)(\lnot a+b)(\lnot b+\lnot c)(\lnot b+\lnot d)(c+\lnot d)
F
=
(
a
+
b
)
(
¬
a
+
b
)
(
¬
b
+
¬
c
)
(
¬
b
+
¬
d
)
(
c
+
¬
d
)
📝 寫筆記
📄 交大115
重做
跳轉到第
題
← 上一題
下一題 →
答案／解析
▤
完整推導請見《WH 資工筆記 · 演算法》Ch4 圖論演算法
‹
本章題號 · 41–60 / 111
›
全部 111
易 42
中 62
難 7
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
