Anda di halaman 1dari 13

Materi Kuliah [4]:

Logika Matematika

Hukum Dasar Logika.


Penyederhanaan Ekspresi Logika dengan
Operator Dasar.
Penyederhanaan Ekspresi Logika dengan
Operator Implikasi dan Biimplikasi.
Pembuktian Ekuivalensi Logis dengan Hukum
Dasar Logika.
2

Ekuivalensi logis dapat dibuktikan dengan 2


cara:
Tabel Kebenaran (dibahas pada LM-03)
Operasi Penyederhanaan

Operasi Penyederhanaan menggunakan hukumhukum dasar logika yang dapat digunakan


untuk:

menyederhanakan suatu ekspresi logika ke dalam


bentuk yang tidak dapat dimanipulasi lagi.
Membuktikan ekivalensi logis sejumlah ekspresi logika.
3

Apa sajakah
Hukum-hukum Dasar Logika
yang telah Anda pelajari di
pertemuan sebelumnya?

Hukum Identitas

A 1 A (Identity of )
A 0 A (Zero of )
A 1 1 (Identity of )
A 0 0 (Zero of )

Hukum Idempotensi
AAA
AAA

Hukum Dobel Negasi


A A

Hukum Tautologi dan Kontradiksi


A A 1
A A 0

(Tautology)
(Law of Contradiction)

Hukum Komutatif
ABBA
ABBA

Hukum Asosiatif

(A B) C A (B C)
(A B) C A (B C)

Hukum Distributif

A (B C) (A B) (A C)
A (B C) (A B) (A C)
6

Hukum De Morgan

(A B) A B
(A B) A B

Hukum Implikasi

A B A B
A B (A B)

Hukum Biimplikasi

A B (A B) (A B)
A B (A B) (B A)

A (A B) A

(A 0) (A B)
A (0 B)
A 0
A

A (A B) A

(A 1) (A B)
A (1 B)
A 1
A

:
:
:
:

Identitas
Distributif
Zero
Zero

:
:
:
:

Identitas
Distributif
Identitas
Identitas

Operasi Penyederhanaan menggunakan


hukum-hukum dasar logika untuk
menyederhanakan suatu ekspresi logika ke
dalam bentuk yang tidak dapat dimanipulasi
lagi dan membuktikan ekivalensi logis
sejumlah ekspresi logika.
Umumnya bentuk yang paling sederhana
mengandung 3 operator dasar atau operator
alamiah, yaitu: , , .

(A B) (A B C)

(A B) (A (B C))
A (B (B C))
A ((B B) (B C))
A (1 (B C))
A (B C)

:
:
:
:
:

Tambah kurung
Distributif
Distributif
Tautologi
Identitas

(A (B B))

((A B) A) 1

(A 1)
A 0
A

: Tautologi
: De Morgan
: Zero

(A B A)
: De Morgan
((A A) B)
: Komutatif
(1 B)
: Tautologi
0 B
: De Morgan
0
: Identitas
(hasilnya kontradiktif, tidak ekuivalen)

Untuk menyederhanakan suatu ekspresi logika,


pastikan bahwa ekspresi tersebut tidak
mengandung operator dan .
Langkah tersebut dapat dilakukan berdasarkan
hukum ekuivalensi logis berikut:
A B A B
A B (A B) (A B)
A B (A B) (B A)

Setelah materi ini, Mahasiswa diharapkan dapat:


Menentukan ekspresi logika dalam bentuk yang paling
sederhana.
Menyederhanakan ekspresi logika yang mengandung
operator implikasi dan biimplikasi.
Membuktikan ekuivalensi logis sejumlah ekspresi
menggunakan operasi penyederhanaan.

13