Truth Table

Logika informatika
Tabel Kebenaran - Truth Table

Adalah suatu metode untuk

menentukan nilai kebanaran dari
suatu kalimat logika dengan
menginterpretasi setiap simbol
proposisi dan menggunakan aturan
semantik (semantik rule)
Tabel Kebenaran - Truth Table

jika suatu kalimat logika memiliki

satu buah proposisi misalkan “p” maka
hanya akan ada 2 kemungkinan
interpretasi yang terjadi, yaitu :

nilai p = true

nilai p = false
Tabel Kebenaran - Truth Table

jika suatu kalimat logika memiliki dua buah

proposisi misalkan “p” dan “q” maka ada 4
kemungkinan interpretasi yang terjadi, yaitu :

nilai p = true, dan q = true

nilai p = true, dan q = false

nilai p = false, dan q = true

nilai p = false, dan q = false

Tabel Kebenaran - Truth Table

Proses menentukan nilai kebenaran

dari beberapa kombinasi interpretasi
tersebut difasilitasi dengan suatu
tabel yang disebut tabel kebenaran
(truth table)
Tabel Kebenaran 1
proposisi

P ~P

T F

F T
Tabel Kebenaran 2
proposisi
P Q

T T

T F

F T

F F
Tabel Kebenaran 3
proposisi
P Q R
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F
 Contoh 1
Dengan Menggunakan tabel kebenaran,
tentukan nilai kebenaran dari kalimat
berikut :

P ∧ ( P v Q )

~ ( P ∧ Q ) → ~P

P ∧ ( ( ~R v Q ) R )

( P ∧ ~Q ) [~ R → ( Q v ~ R)]
P ∧ ( P v Q )

P Q P v Q P ∧ (P v Q)

T T T T

T F T T

F T T F

F F F F
 ~ ( P ∧ Q ) → ~P

P Q ~P P ∧ Q ~ (P ∧ Q) ~ (P ∧ Q)→ ~ P

T T F T F T

T F F F T F

F T T F T T

F F T F T T
 P ∧ ( ( ~R v Q ) R )

P Q R ~R ~R v Q (~R v Q) R P ∧ ((~R v Q) R )
T T T F ( ~R Tv Q ) T T
T T F T T F F
T F T F F F F
T F F T T F F
F T T F T T F
F T F T T F F
F F T F F F F
F F F T T F F
 ( P ∧ ~Q ) [~ R → ( Q v ~ R)]

(P∧~ Q) [~R→
P Q R ~Q ~R P∧~ Q Qv~ R ~R→(Qv~R)
(Qv~R)]
T T T F F F T T F
T T F F T F T T F
T F T T F T F T T
T F F T T T T T T
F T T F F F T T F
F T F F T F T T F
F F T T F F F T F
F F F T T F T T F
 Contoh 2

Dengan Menggunakan tabel

kebenaran, tentukan nilai kebenaran
dari kalimat berikut :

if [(p or q) and (if q then r)] then

[if (p or q) then (not r)] else (p if
and only if r)
if [(p or q) and (if q then r)] then [if (p
or q) then (not r)] else (p if and only if r)
D E
if [(p v q) ∧ (q → r)] then [(p v q)→~r] else (p r)

A B A C

p q r ~r A B D E C if D then E else C
T T T F T T T F T F
T T F T T F F T F F
T F T F T T T F T F
T F F
F T T T T T F T
F T T F T T T F F F
F T F T T F F T T T
F F T F F T F T F F
F F F T F T F T T T
 Latihan

Dengan Menggunakan tabel

kebenaran, tentukan nilai kebenaran
dari kalimat berikut :

if {[~p→(p∧~q)]→~(p∧~q)} then
{~[r (p∧~q)]∧q} else {q∧[~qv(p∧~q)]}
 B C D

if {[~p→(p∧~q)]→~(p∧~q)} then {~[r (p∧~q)]∧q} else {q∧[~qv(p∧~q)]}

A A A A
E F G

if E then F
p q r ~p ~q A B ~A C ~C D E F G
else G
T T T F F F T T F T F T T F T
T T F F F F T T T F F T F F F
T F T F T T T F T F T F F F F
T F F F T T T F F T T F F F F
F T T T F F F T F T F T T F T
F T F T F F F T T F F T F F F
F F T T T F F T F T T T F F F
F F F T T F F T T F T T F F F