Subscribe to DeepL Pro to edit this document.

Visit www.DeepL.com/pro for more information.

BAB

Yayasan:

Logika dan Bukti

1.1 Proposisi

Logika

1.2 Aplikasi dari

Proposisi

Logika

1.3 Proposisi

Kesetaraan

1.4 Predikat dan

Pengukur

1.5 Bersarang

Pengukur

1.6 Aturan

Kesimpulan

1.7 Pengantar

Bukti

1.8 Metode Pembuktian

dan Strategi

Aturan logika menentukan arti dari pernyataan matematika. Sebagai contoh, aturan-aturan ini

membantu kita memahami dan bernalar dengan pernyataan seperti "Ada bilangan bulat yang

bukan jumlah dari dua kuadrat" dan "Untuk setiap bilangan bulat positif n, jumlah dari bilangan bulat
positif

tidak melebihi n adalah n(n + 1)/2." Logika adalah dasar dari semua penalaran matematika, dan dari
semua

penalaran otomatis. Ini memiliki aplikasi praktis untuk desain mesin komputasi, untuk

spesifikasi sistem, hingga kecerdasan buatan, hingga pemrograman komputer, hingga pemrograman
bahasa, dan ke bidang ilmu komputer lainnya, serta ke banyak bidang studi lainnya.

Untuk memahami matematika, kita harus memahami apa yang membentuk matematika yang benar

argumen, yaitu sebuah bukti. Ketika kita membuktikan bahwa sebuah pernyataan matematika itu
benar, kita menyebutnya sebuah teorema.A

kumpulan teorema pada suatu topik mengatur apa yang kita ketahui tentang topik ini. Untuk
mempelajari matematika

topik, seseorang perlu secara aktif membangun argumen matematika tentang topik ini, dan bukan
hanya

membaca eksposisi. Selain itu, mengetahui bukti dari sebuah teorema sering kali memungkinkan
untuk memodifikasi

hasilnya agar sesuai dengan situasi baru.

Semua orang tahu bahwa pembuktian itu penting dalam matematika, tetapi banyak orang merasa

mengejutkan betapa pentingnya bukti dalam ilmu komputer. Faktanya, bukti digunakan untuk
memverifikasi

bahwa program komputer menghasilkan output yang benar untuk semua nilai input yang mungkin,
untuk menunjukkan bahwa

algoritme selalu menghasilkan hasil yang benar, untuk membangun keamanan sistem, dan untuk
menciptakan

kecerdasan buatan. Selain itu, sistem penalaran otomatis telah dibuat untuk memungkinkan

komputer untuk membangun bukti mereka sendiri.

Dalam bab ini, kami akan menjelaskan apa yang membentuk argumen matematika yang benar dan
pengantar

duce tools untuk membangun argumen-argumen ini. Kami akan mengembangkan berbagai metode
pembuktian yang berbeda

yang akan memungkinkan kita untuk membuktikan berbagai jenis hasil yang berbeda. Setelah
memperkenalkan berbagai macam

metode-metode pembuktian, kami akan memperkenalkan beberapa strategi untuk menyusun

pembuktian. Kami akan memperkenalkan

Menyimpulkan pengertian dugaan dan menjelaskan proses pengembangan matematika dengan

mempelajari

dugaan.
1.1 Logika Proposisional

Pendahuluan

Aturan logika memberikan makna yang tepat untuk pernyataan matematika. Aturan-aturan ini
digunakan untuk

membedakan antara argumen matematika yang valid dan tidak valid. Karena tujuan utama dari buku
ini adalah

adalah untuk mengajarkan pembaca bagaimana memahami dan bagaimana membangun argumen
matematika yang benar,

kita mulai mempelajari matematika diskrit dengan pengantar logika.

Selain pentingnya logika dalam memahami penalaran matematika, logika memiliki angka

aplikasi ilmu komputer. Aturan-aturan ini digunakan dalam desain sirkuit komputer,

pembangunan program komputer, verifikasi kebenaran program, dan dalam

banyak cara lainnya. Selain itu, sistem perangkat lunak telah dikembangkan untuk membangun
beberapa,

tetapi tidak semua, jenis-jenis pembuktian secara otomatis. Kita akan membahas aplikasi-aplikasi
logika ini dalam bagian ini dan

bab-bab selanjutnya.

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

2 1 / Dasar-dasar: Logika dan Bukti

Proposisi

Diskusi kita dimulai dengan pengenalan blok bangunan dasar proposisi logika.

Proposisi adalah kalimat deklaratif (yaitu, kalimat yang menyatakan fakta) yang bisa jadi benar

atau salah, tetapi tidak keduanya.

CONTOH 1 Semua kalimat deklaratif berikut ini adalah proposisi.

1. Washington, D.C., adalah ibu kota Amerika Serikat.

2. Toronto adalah ibu kota Kanada.

3. 1 + 1 = 2.

4. 2 + 2 = 3.

Proposisi 1 dan 3 benar, sedangkan 2 dan 4 salah. ▲

Beberapa kalimat yang bukan proposisi diberikan dalam Contoh 2.

CONTOH 2 Perhatikan kalimat-kalimat berikut ini.

1. Jam berapa sekarang?

2. Baca ini dengan cermat.

3. x + 1 = 2.

4. x + y = z.

Kalimat 1 dan 2 bukanlah proposisi karena bukan kalimat deklaratif. Kalimat 3

dan 4 bukanlah proposisi karena mereka tidak benar atau salah. Perhatikan bahwa setiap kalimat 3

dan 4 dapat diubah menjadi sebuah proposisi jika kita memberikan nilai pada variabel-variabelnya.
Kita juga akan membahas

cara lain untuk mengubah kalimat seperti ini menjadi proposisi di Bagian 1.4. ▲

Kami menggunakan huruf untuk menunjukkan variabel proposisional (atau variabel pernyataan),
yaitu variabel

yang mewakili proposisi, seperti halnya huruf yang digunakan untuk menunjukkan variabel numerik.
The

ARISTOTELES (384 SM-322 SM) Aristoteles lahir di Stagirus (Stagira) di Yunani utara. Ayahnya adalah

dokter pribadi Raja Makedonia. Karena ayahnya meninggal saat Aristoteles masih muda, Aristoteles

tidak bisa mengikuti kebiasaan mengikuti profesi ayahnya. Aristoteles menjadi yatim piatu pada usia
muda

ketika ibunya juga meninggal. Wali yang membesarkannya mengajarinya puisi, retorika, dan bahasa
Yunani. Pada usia

Pada usia 17 tahun, walinya mengirimnya ke Athena untuk melanjutkan pendidikannya. Aristoteles
bergabung dengan Akademi Plato, di mana selama 20
tahun ia menghadiri kuliah-kuliah Plato, dan kemudian menyajikan kuliahnya sendiri tentang retorika.
Ketika Plato meninggal pada tahun 347 SM,

Aristoteles tidak dipilih untuk menggantikannya karena pandangannya terlalu berbeda dengan
pandangan Plato. Sebaliknya,

Aristoteles bergabung dengan istana Raja Hermeas di mana ia tinggal selama tiga tahun, dan
menikahi keponakan dari

Raja. Ketika Persia mengalahkan Hermeas, Aristoteles pindah ke Mytilene dan, atas undangan Raja
Philip

Makedonia, ia mengajar Alexander, putra Philip, yang kemudian menjadi Alexander Agung.
Aristoteles mengajar Alexander selama lima tahun

dan setelah kematian Raja Philip, ia kembali ke Athena dan mendirikan sekolahnya sendiri, yang
disebut Lyceum.

Pengikut Aristoteles disebut peripatetik, yang berarti "berjalan-jalan", karena Aristoteles sering
berjalan-jalan sambil

membahas pertanyaan-pertanyaan filosofis. Aristoteles mengajar di Lyceum selama 13 tahun di

mana ia memberikan kuliah kepada para mahasiswa tingkat lanjut di

pagi hari dan memberikan ceramah populer kepada khalayak luas di malam hari. Ketika Alexander
Agung meninggal pada tahun 323 SM, sebuah serangan balik terhadap

segala sesuatu yang berhubungan dengan Alexander menyebabkan tuduhan tidak bermoral yang
dibuat-buat terhadap Aristoteles. Aristoteles melarikan diri ke Chalcis untuk menghindari tuntutan.

Dia hanya hidup satu tahun di Chalcis, dan meninggal karena penyakit perut pada tahun 322 SM.

Aristoteles menulis tiga jenis karya: karya yang ditulis untuk pembaca populer, kompilasi fakta-fakta
ilmiah, dan karya yang sistematis.

risalah. Risalah sistematis ini mencakup karya-karya tentang logika, filsafat, psikologi, fisika, dan
sejarah alam. Tulisan-tulisan Aristoteles

diawetkan oleh seorang siswa dan disembunyikan di lemari besi di mana seorang kolektor buku yang
kaya menemukannya sekitar 200 tahun kemudian. Mereka

dibawa ke Roma, di mana mereka dipelajari oleh para sarjana dan diterbitkan dalam edisi baru,
melestarikannya untuk anak cucu.

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

1.1 Logika Propositional 3

Huruf konvensional yang digunakan untuk variabel proposisional adalah p, q, r, s, . . . Nilai kebenaran
dari sebuah
proposisi adalah benar, dilambangkan dengan T, jika merupakan proposisi yang benar, dan nilai
kebenaran suatu proposisi

adalah salah, dilambangkan dengan F, jika proposisi tersebut adalah proposisi yang salah.

Area logika yang berhubungan dengan proposisi disebut kalkulus proposisional atau proposisi.

logika situasional. Logika ini pertama kali dikembangkan secara sistematis oleh filsuf Yunani
Aristoteles.

dari 2300 tahun yang lalu.

Sekarang kita mengalihkan perhatian kita ke metode untuk menghasilkan proposisi baru dari yang

yang sudah kita miliki. Metode-metode ini dibahas oleh matematikawan Inggris George Boole

pada tahun 1854 dalam bukunya The Laws of Thought. Banyak pernyataan matematika dibangun
oleh

menggabungkan satu atau lebih proposisi. Proposisi baru, yang disebut proposisi gabungan, adalah

dibentuk dari proposisi-proposisi yang ada dengan menggunakan operator-operator logika.

DEFINISI 1 Misalkan p adalah sebuah proposisi. Negasi dari p, dilambangkan dengan ¬p (juga
dilambangkan dengan p), adalah pernyataan

"Ini bukan kasus yang p."

Proposisi ¬p dibaca "bukan p." Nilai kebenaran dari negasi dari p, ¬p, adalah kebalikannya

dari nilai kebenaran p.

CONTOH 3 Temukan negasi dari proposisi

"PC Michael menjalankan Linux"

dan mengungkapkannya dalam bahasa Inggris sederhana.

Solusi: Negasinya adalah

"Ini bukan berarti PC Michael menjalankan Linux."

Negasi ini dapat dinyatakan secara lebih sederhana sebagai

"PC Michael tidak menjalankan Linux."

▲
CONTOH 4 Temukan negasi dari proposisi

"Ponsel cerdas Vandana memiliki memori minimal 32GB"

dan mengungkapkannya dalam bahasa Inggris sederhana.

Solusi: Negasinya adalah

"Tidak demikian halnya dengan smartphone Vandana yang memiliki memori minimal 32GB."

Negasi ini juga dapat dinyatakan sebagai

"Ponsel cerdas Vandana tidak memiliki memori minimal 32GB"

atau bahkan lebih sederhana lagi sebagai

"Ponsel cerdas Vandana memiliki memori kurang dari 32GB." ▲

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

4 1 / Dasar-dasar: Logika dan Bukti

TABEL 1

Tabel Kebenaran untuk

Negasi dari sebuah

Proposisi.

p ¬p

TF

FT

Tabel 1 menampilkan tabel kebenaran untuk negasi dari sebuah proposisi p. Tabel ini memiliki
sebuah baris

untuk setiap dua kemungkinan nilai kebenaran dari proposisi p. Setiap baris menunjukkan nilai
kebenaran dari

¬p sesuai dengan nilai kebenaran p untuk baris ini.

Negasi dari sebuah proposisi juga dapat dianggap sebagai hasil dari operasi

operator negasi pada sebuah proposisi. Operator negasi membangun proposisi baru dari
satu proposisi yang sudah ada. Sekarang kami akan memperkenalkan operator logika yang digunakan
untuk membentuk

proposisi baru dari dua atau lebih proposisi yang sudah ada. Operator-operator logika ini juga disebut

penghubung.

DEFINISI 2 Misalkan p dan q adalah proposisi-proposisi. Konjungsi dari p dan q, dilambangkan dengan
p ∧ q, adalah proposisi

"p dan q." Konjungsi p ∧ q bernilai benar jika p dan q benar dan sebaliknya bernilai salah.

Tabel 2 menampilkan tabel kebenaran dari p ∧ q. Tabel ini memiliki baris untuk masing-masing dari
empat kemungkinan

kombinasi nilai kebenaran p dan q. Keempat baris tersebut sesuai dengan pasangan nilai kebenaran

TT, TF, FT, dan FF, di mana nilai kebenaran pertama pada pasangan tersebut adalah nilai kebenaran p
dan nilai kebenaran kedua

adalah nilai kebenaran dari q.

Perhatikan bahwa dalam logika, kata "tetapi" terkadang digunakan sebagai pengganti "dan" dalam
kata penghubung. Untuk

Sebagai contoh, pernyataan "Matahari bersinar, tetapi hujan turun" adalah cara lain untuk
mengatakan "Matahari

bersinar dan hujan turun." (Dalam bahasa alami, ada perbedaan makna yang halus antara

"dan" dan "tetapi"; kita tidak akan membahas nuansa ini di sini).

CONTOH 5 Tentukan konjungsi dari proposisi p dan q di mana p adalah proposisi "PC Rebecca
memiliki

lebih dari 16 GB ruang hard disk kosong" dan q adalah proposisi "Prosesor di Rebecca

PC berjalan lebih cepat dari 1 GHz."

Solusi: Konjungsi dari proposisi-proposisi ini, p ∧ q, adalah proposisi "PC Rebecca memiliki

lebih dari 16 GB ruang hard disk kosong, dan prosesor di PC Rebecca berjalan lebih cepat dari 1

GHz." Kata penghubung ini dapat dinyatakan secara lebih sederhana sebagai "PC Rebecca memiliki
lebih dari 16 GB

ruang hard disk kosong, dan prosesornya berjalan lebih cepat dari 1 GHz." Agar konjungsi ini benar
adanya,

kedua kondisi yang diberikan harus benar. Nilai salah, jika salah satu atau kedua kondisi ini salah. ▲
DEFINISI 3 Misalkan p dan q adalah proposisi-proposisi. Disjungsi dari p dan q, dilambangkan dengan
p ∨ q, adalah proposisi

"p atau q." Disjungsi p ∨ q bernilai salah jika p dan q bernilai salah dan bernilai benar.

Tabel 3 menampilkan tabel kebenaran untuk p ∨ q.

TABEL 2 Tabel Kebenaran untuk

Konjungsi dari Dua

Proposisi.

pqp∧q

TTT

TFF

FTF

FFF

TABEL 3 Tabel Kebenaran untuk

Disjungsi dari Dua

Proposisi.

pqp∨q

TTT

TFT

FTT

FFF

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

1.1 Logika Proposisi 5

Penggunaan kata penghubung atau dalam disjungsi sesuai dengan salah satu dari dua cara kata

or digunakan dalam bahasa Inggris, yaitu sebagai inklusif atau. Sebuah disjungsi dikatakan benar jika
setidaknya salah satu dari

dua proposisi adalah benar. Misalnya, inklusif atau sedang digunakan dalam pernyataan
"Siswa yang telah mengambil kalkulus atau ilmu komputer dapat mengambil kelas ini."

Di sini, yang kami maksud adalah bahwa siswa yang telah mengambil kalkulus dan ilmu komputer
dapat mengambil

kelas, serta siswa yang hanya mengambil satu dari dua mata pelajaran tersebut. Di sisi lain,

kita menggunakan eksklusif atau ketika kita mengatakan

"Siswa yang telah mengambil kalkulus atau ilmu komputer, tetapi tidak keduanya, dapat mendaftar di
program ini.

kelas."

Di sini, yang kami maksud adalah bahwa siswa yang telah mengambil mata kuliah kalkulus dan ilmu
komputer tidak dapat

mengambil kelas. Hanya mereka yang telah mengambil salah satu dari dua mata kuliah tersebut yang
dapat mengikuti kelas ini.

Demikian pula, ketika menu di sebuah restoran menyatakan, "Sup atau salad disajikan dengan
hidangan utama,"

restoran hampir selalu berarti bahwa pelanggan dapat menikmati sup atau salad, tetapi tidak
keduanya.

Oleh karena itu, ini adalah eksklusif, dan bukannya inklusif, atau.

CONTOH 6 Apa disjungsi dari proposisi p dan q di mana p dan q adalah proposisi yang sama dengan

dalam Contoh 5?

Solusi: Disjungsi dari p dan q, p ∨ q, adalah proposisi

"PC Rebecca memiliki setidaknya 16 GB ruang hard disk kosong, atau prosesor di PC Rebecca

berjalan lebih cepat dari 1 GHz."

Proposisi ini benar ketika PC Rebecca memiliki setidaknya 16 GB ruang hard disk kosong, ketika

Prosesor PC berjalan lebih cepat dari 1 GHz, dan bila kedua kondisi tersebut benar. Kondisi ini salah
bila kedua kondisi

dari kondisi ini salah, yaitu ketika PC Rebecca memiliki hard disk kosong kurang dari 16 GB

ruang dan prosesor di PC-nya berjalan pada 1 GHz atau lebih lambat. ▲

Seperti yang sudah dikatakan sebelumnya, penggunaan kata penghubung atau dalam disjungsi sesuai

ke salah satu dari dua cara kata or digunakan dalam bahasa Inggris, yaitu secara inklusif. Dengan
demikian, sebuah

disjungsi adalah benar jika setidaknya satu dari dua proposisi di dalamnya benar. Terkadang, kita
menggunakan atau
dalam arti eksklusif. Ketika eksklusif atau digunakan untuk menghubungkan proposisi p dan q, maka

proposisi "p atau q (tetapi tidak keduanya)" diperoleh. Proposisi ini benar jika p benar dan q salah.

salah, dan ketika p salah dan q benar. Ini salah ketika p dan q salah dan ketika keduanya

adalah benar.

GEORGE BOOLE (1815-1864) George Boole, putra seorang tukang sepatu, lahir di Lincoln, Inggris,
pada tahun

November 1815. Karena situasi keuangan keluarganya yang sulit, Boole berjuang untuk mendidik
dirinya sendiri sambil

menghidupi keluarganya. Namun demikian, ia menjadi salah satu matematikawan terpenting pada
tahun 1800-an, meskipun

mempertimbangkan karier sebagai pendeta, ia malah memutuskan untuk mengajar, dan segera
setelah itu membuka

sekolahnya sendiri. Dalam persiapannya untuk mengajar matematika, Boole-tidak puas dengan buku-
buku pelajaran pada zamannya-

memutuskan untuk membaca karya-karya matematikawan besar. Saat membaca karya-karya

matematikawan besar asal Prancis

Lagrange, Boole membuat penemuan dalam kalkulus variasi, cabang analisis yang berurusan dengan
penemuan

kurva dan permukaan dengan mengoptimalkan parameter tertentu.

Pada tahun 1848 Boole menerbitkan The Mathematical Analysis of Logic, yang merupakan kontribusi
pertama dalam logika simbolik.

Pada tahun 1849 ia diangkat menjadi profesor matematika di Queen's College di Cork, Irlandia. Pada
tahun 1854 ia menerbitkan The Laws of Thought,

karyanya yang paling terkenal. Dalam buku ini, Boole memperkenalkan apa yang sekarang disebut
aljabar Boolean untuk menghormatinya. Boole menulis buku teks

pada persamaan diferensial dan pada persamaan perbedaan yang digunakan di Inggris hingga akhir
abad kesembilan belas. Boole

menikah pada tahun 1855; istrinya adalah keponakan dari profesor bahasa Yunani di Queen's
College. Pada tahun 1864 Boole meninggal dunia karena pneumonia, yang

Ia terjangkit penyakit ini karena tetap menghadiri kuliah meskipun basah kuyup akibat hujan badai.

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

6 1 / Dasar-dasar: Logika dan Bukti

TABEL 4 Tabel Kebenaran untuk

Eksklusif atau Dua

Proposisi.

pqp⊕q

TTF

TFT

FTT

FFF

TABEL 5 Tabel Kebenaran untuk

Pernyataan Bersyarat

p → q.

pqp→q

TTT

TFF

FTT

FFT

DEFINISI 4 Misalkan p dan q adalah proposisi-proposisi. Eksklusif atau dari p dan q, dilambangkan
dengan p ⊕ q, adalah proposisi

yang benar jika tepat satu dari p dan q benar dan salah jika tidak.

Tabel kebenaran untuk proposisi eksklusif atau dua proposisi ditampilkan pada Tabel 4.

Pernyataan Bersyarat

Kami akan membahas beberapa cara penting lainnya di mana proposisi dapat digabungkan.

DEFINISI 5 Misalkan p dan q adalah proposisi-proposisi. Pernyataan bersyarat p → q adalah proposisi

"jika p, maka

q." Pernyataan bersyarat p → q adalah salah jika p benar dan q salah, dan benar jika sebaliknya.
Dalam pernyataan bersyarat p → q, p disebut hipotesis (atau anteseden atau premis)

dan q disebut kesimpulan (atau konsekuensi).

Pernyataan p → q disebut pernyataan bersyarat karena p → q menyatakan bahwa q benar

dengan syarat bahwa p berlaku. Pernyataan bersyarat juga disebut implikasi.

Tabel kebenaran untuk pernyataan bersyarat p → q ditunjukkan pada Tabel 5. Perhatikan bahwa

pernyataan p → q adalah benar jika p dan q benar dan jika p salah (tidak peduli apa pun
kebenarannya

nilai yang dimiliki q).

Karena pernyataan bersyarat memainkan peran penting dalam penalaran matematika, sebuah

Berbagai terminologi digunakan untuk menyatakan p → q. Anda akan menemukan sebagian besar,
jika tidak semua, terminologi

cara berikut untuk mengekspresikan pernyataan bersyarat ini:

"jika p, maka q" "p mengimplikasikan q"

"jika p, q" "p hanya jika q"

"p cukup untuk q" "kondisi yang cukup untuk q adalah p"

"q jika p" "q jika p"

"q ketika p" "q diperlukan untuk p"

"kondisi yang diperlukan untuk p adalah q" "q mengikuti dari p"

"q kecuali ¬p"

Cara yang berguna untuk memahami nilai kebenaran dari pernyataan bersyarat adalah dengan
memikirkan sebuah

kewajiban atau kontrak. Misalnya, janji yang dibuat oleh banyak politisi ketika mencalonkan diri
untuk jabatan

adalah

"Jika saya terpilih, maka saya akan menurunkan pajak."

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

1.1 Logika Propositional 7

Jika politisi tersebut terpilih, para pemilih akan mengharapkan politisi tersebut untuk menurunkan
pajak. Lebih jauh lagi, jika
politisi tersebut tidak terpilih, maka pemilih tidak akan memiliki harapan bahwa orang tersebut akan
menurunkan

pajak, meskipun orang tersebut mungkin memiliki pengaruh yang cukup untuk membuat mereka
yang berkuasa menurunkan pajak.

Hanya ketika politisi tersebut terpilih tetapi tidak menurunkan pajak, pemilih dapat mengatakan
bahwa

politisi telah melanggar janji kampanye. Skenario terakhir ini sesuai dengan kasus ketika p

benar tetapi q salah dalam p → q.

Demikian pula, pertimbangkan pernyataan yang mungkin dibuat oleh seorang profesor:

"Jika Anda mendapat nilai 100% pada ujian akhir, maka Anda akan mendapat nilai A."

Jika Anda berhasil mendapatkan nilai 100% pada ujian akhir, maka Anda akan mendapatkan nilai A.
Jika tidak

mendapatkan nilai 100%, Anda mungkin akan mendapatkan nilai A atau tidak, tergantung pada
faktor-faktor lain. Namun, jika Anda mendapatkan

100%, tetapi profesor tidak memberi Anda nilai A, Anda akan merasa tertipu.

Dari berbagai cara untuk mengekspresikan pernyataan bersyarat p → q, dua cara yang tampaknya
menyebabkan

yang paling membingungkan adalah "p hanya jika q" dan "q kecuali ¬p." Oleh karena itu, kami akan
memberikan beberapa

panduan untuk menjernihkan kebingungan ini.

Untuk mengingat bahwa "p hanya jika q" menyatakan hal yang sama dengan "jika p, maka q,"
perhatikan bahwa "p hanya

jika q" mengatakan bahwa p tidak mungkin benar jika q tidak benar. Artinya, pernyataan tersebut
salah jika p benar,

tetapi q adalah salah. Ketika p salah, q bisa saja benar atau salah, karena pernyataan tersebut tidak
mengatakan apa-apa

tentang nilai kebenaran dari q. Berhati-hatilah untuk tidak menggunakan "q hanya jika p" untuk
menyatakan p → q karena hal ini

salah. Untuk melihat hal ini, perhatikan bahwa nilai sebenarnya dari "q hanya jika p" dan p → q
berbeda ketika

p dan q memiliki nilai kebenaran yang berbeda. Anda mungkin mengalami kesulitan

memahami bagaimana

"kecuali" digunakan dalam

pernyataan bersyarat
kecuali Anda membaca ini

paragraf dengan hati-hati.

Perlu diingat bahwa "q kecuali ¬p" menyatakan pernyataan bersyarat yang sama dengan "jika p,
maka

q," perhatikan bahwa "q kecuali ¬p" berarti bahwa jika ¬p salah, maka q pasti benar. Dengan kata
lain, pernyataan

"q kecuali ¬p" adalah salah ketika p benar tetapi q salah, tetapi sebaliknya benar. Akibatnya,

"q kecuali ¬p" dan p → q selalu memiliki nilai kebenaran yang sama.

Kami mengilustrasikan terjemahan antara pernyataan bersyarat dan pernyataan bahasa Inggris di Ex-

cukup 7.

CONTOH 7 Misalkan p adalah pernyataan "Maria belajar matematika diskrit" dan q adalah
pernyataan "Maria akan

menemukan pekerjaan yang baik." Nyatakan pernyataan p → q sebagai sebuah pernyataan dalam
bahasa Inggris.

Solusi: Dari definisi pernyataan bersyarat, kita melihat bahwa ketika p adalah pernyataan

"Maria belajar matematika diskrit" dan q adalah pernyataan "Maria akan mendapatkan pekerjaan
yang baik," p → q

mewakili pernyataan

"Jika Maria belajar matematika diskrit, maka dia akan mendapatkan pekerjaan yang bagus."

Ada banyak cara lain untuk mengekspresikan pernyataan bersyarat ini dalam bahasa Inggris. Di
antara yang paling banyak

alamiah dari hal ini:

"Maria akan mendapatkan pekerjaan yang baik ketika dia belajar matematika diskrit."

"Agar Maria bisa mendapatkan pekerjaan yang baik, dia cukup belajar matematika diskrit."

dan

"Maria akan mendapatkan pekerjaan yang baik kecuali dia tidak belajar matematika diskrit." ▲

Perhatikan bahwa cara kami mendefinisikan pernyataan bersyarat lebih umum daripada artinya

yang dilampirkan pada pernyataan tersebut dalam bahasa Inggris. Misalnya, pernyataan bersyarat
dalam
Contoh 7 dan pernyataan

"Jika cuaca cerah, maka kami akan pergi ke pantai."

adalah pernyataan yang digunakan dalam bahasa normal di mana ada hubungan antara hipotesis

dan kesimpulannya. Selanjutnya, pernyataan pertama dari pernyataan-pernyataan ini adalah benar
kecuali Maria belajar secara terpisah

matematika, tetapi dia tidak mendapatkan pekerjaan yang baik, dan yang kedua adalah benar kecuali
jika hari memang cerah,

tapi kami tidak pergi ke pantai. Di sisi lain, pernyataan

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

8 1 / Dasar-dasar: Logika dan Bukti

"Jika Juan memiliki smartphone, maka 2 + 3 = 5"

adalah benar dari definisi pernyataan bersyarat, karena kesimpulannya adalah benar. (Kebenaran

nilai hipotesis tidak menjadi masalah saat itu). Pernyataan bersyarat

"Jika Juan memiliki smartphone, maka 2 + 3 = 6"

benar jika Juan tidak memiliki smartphone, meskipun 2 + 3 = 6 adalah salah. Kita tidak akan
menggunakan

dua pernyataan bersyarat terakhir ini dalam bahasa alami (kecuali mungkin dalam sarkasme), karena

tidak ada hubungan antara hipotesis dan kesimpulan dalam kedua pernyataan tersebut. Dalam
matematika-

Penalaran ematis, kami mempertimbangkan pernyataan bersyarat yang lebih umum daripada yang
kami gunakan dalam

Bahasa Inggris. Konsep matematika dari pernyataan bersyarat tidak bergantung pada sebab-akibat.

hubungan pengaruh antara hipotesis dan kesimpulan. Definisi kami tentang pernyataan bersyarat

menentukan nilai kebenarannya; tidak didasarkan pada penggunaan bahasa Inggris. Bahasa
proposisional adalah bahasa buatan

bahasa; kami hanya menggunakan bahasa Inggris secara paralel agar mudah digunakan dan diingat.
Konstruksi jika-maka yang digunakan di banyak bahasa pemrograman berbeda dengan yang
digunakan

dalam logika. Sebagian besar bahasa pemrograman mengandung pernyataan seperti jika p maka S, di
mana p adalah

proposisi dan S adalah segmen program (satu atau lebih pernyataan yang akan dieksekusi). Saat
eksekusi

dari sebuah program bertemu dengan pernyataan seperti itu, S dieksekusi jika p benar, tetapi S tidak
dieksekusi jika p

adalah salah, seperti yang diilustrasikan dalam Contoh 8.

CONTOH 8 Berapa nilai variabel x setelah pernyataan

jika 2 + 2 = 4 maka x := x + 1

jika x = 0 sebelum pernyataan ini ditemui? (Simbol := adalah singkatan dari penugasan. Simbol :=
adalah singkatan dari assignment.

pernyataan x := x + 1 berarti penetapan nilai x + 1 ke x.)

Solusi: Karena 2 + 2 = 4 adalah benar, maka pernyataan penugasan x := x + 1 dijalankan. Oleh karena
itu,

x memiliki nilai 0 + 1 = 1 setelah pernyataan ini ditemukan. ▲

KONVERSI, KONTRAPOSISI, DAN INVERSI Kita dapat membentuk beberapa kondisional baru

pernyataan yang dimulai dengan pernyataan bersyarat p → q. Secara khusus, ada tiga pernyataan
yang terkait

pernyataan bersyarat yang sering muncul sehingga memiliki nama khusus. Proposisi q → p

disebut sebagai kebalikan dari p → q. Kontrapositif dari p → q adalah proposisi ¬q → ¬p.

Proposisi ¬p → ¬q disebut kebalikan dari p → q. Kita akan melihat bahwa dari ketiganya

pernyataan bersyarat yang dibentuk dari p → q, hanya kontrapositif yang selalu memiliki kebenaran
yang sama

nilai sebagai p → q.

Pertama-tama kita tunjukkan bahwa kontrapositif, ¬q → ¬p, dari sebuah pernyataan bersyarat p → q
selalu

memiliki nilai kebenaran yang sama dengan p → q. Untuk melihat hal ini, perhatikan bahwa
kontrapositif bernilai salah hanya jika

¬p salah dan ¬q benar, yaitu, hanya ketika p benar dan q salah. Kita sekarang menunjukkan bahwa
tidak ada
kebalikannya, q → p, maupun kebalikannya, ¬p → ¬q, memiliki nilai kebenaran yang sama dengan p
→ q untuk semua

nilai kebenaran yang mungkin dari p dan q. Perhatikan bahwa ketika p benar dan q salah, kondisional
asli

pernyataan tersebut salah, tetapi kebalikannya dan kebalikannya adalah benar. Ingatlah bahwa

kontrapositif, tetapi juga tidak

kebalikan atau kebalikannya, dari

pernyataan bersyarat adalah

yang setara dengan itu.

Ketika dua proposisi majemuk selalu memiliki nilai kebenaran yang sama, kita menyebutnya sebagai
equiv-

alent, sehingga pernyataan bersyarat dan kontrapositifnya setara. Kebalikannya dan

kebalikan dari pernyataan bersyarat juga ekuivalen, seperti yang dapat diverifikasi oleh pembaca,
tetapi keduanya tidak

ekuivalen dengan pernyataan kondisional aslinya. (Kita akan mempelajari proposisi-proposisi yang
setara di Bagian

Bagian 1.3.) Perhatikan bahwa salah satu kesalahan logika yang paling umum adalah mengasumsikan
bahwa kebalikannya

atau kebalikan dari pernyataan bersyarat setara dengan pernyataan bersyarat ini.

Kami mengilustrasikan penggunaan pernyataan bersyarat dalam Contoh 9.

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

1.1 Logika Proposisi 9

CONTOH 9 Apa yang dimaksud dengan kontrapositif, kebalikan, dan kebalikan dari pernyataan
bersyarat
"Tim tuan rumah selalu menang setiap kali hujan turun?"

Solusi: Karena "q apabila p" adalah salah satu cara untuk mengekspresikan pernyataan bersyarat

p → q, pernyataan asli dapat ditulis ulang sebagai

"Jika hujan turun, maka tim tuan rumah yang menang."

Akibatnya, kontrapositif dari pernyataan bersyarat ini adalah

"Jika tim tuan rumah tidak menang, maka hujan tidak akan turun."

Kebalikannya adalah

"Jika tim tuan rumah menang, maka hujan akan turun."

Kebalikannya adalah

"Jika tidak turun hujan, maka tim tuan rumah tidak akan menang."

Hanya kontrapositif yang setara dengan pernyataan aslinya. ▲

BICONDITIONAL Kami sekarang memperkenalkan cara lain untuk menggabungkan proposisi yang
mengekspresikan

bahwa dua proposisi memiliki nilai kebenaran yang sama.

DEFINISI 6 Misalkan p dan q adalah proposisi-proposisi. Pernyataan bikondisional p ↔ q adalah

proposisi "p jika

dan hanya jika q." Pernyataan bikondisional p ↔ q adalah benar ketika p dan q memiliki kebenaran
yang sama

bernilai benar, dan salah jika sebaliknya. Pernyataan dua kondisi juga disebut dengan dua implikasi.

Tabel kebenaran untuk p ↔ q ditunjukkan pada Tabel 6. Perhatikan bahwa pernyataan p ↔ q

adalah benar jika keduanya

pernyataan bersyarat p → q dan q → p adalah benar dan sebaliknya salah. Itulah mengapa kita
menggunakan

kata-kata "jika dan hanya jika" untuk mengekspresikan penghubung logis ini dan mengapa hal itu
ditulis secara simbolis

dengan menggabungkan simbol → dan ←. Ada beberapa cara umum lainnya untuk menyatakan p ↔
q:

"p diperlukan dan cukup untuk q"

"jika p maka q, dan sebaliknya"

"p iff q."

Cara terakhir untuk mengekspresikan pernyataan bikondisional p ↔ q menggunakan singkatan "iff"
untuk

"jika dan hanya jika." Perhatikan bahwa p ↔ q memiliki nilai kebenaran yang sama persis dengan (p
→ q) ∧ (q → p).

TABEL 6 Tabel Kebenaran untuk

Biconditional p ↔ q.

pqp↔q

TTT

TFF

FTF

FFT

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

10 1 / Dasar-dasar: Logika dan Bukti

CONTOH 10 Misalkan p adalah pernyataan "Anda dapat naik pesawat," dan misalkan q adalah
pernyataan "Anda membeli tiket."

Maka p ↔ q adalah pernyataan

"Anda dapat melakukan penerbangan jika dan hanya jika Anda membeli tiket."

Pernyataan ini benar jika p dan q keduanya benar atau keduanya salah, yaitu jika Anda membeli tiket
dan

dapat melakukan penerbangan atau jika Anda tidak membeli tiket dan tidak dapat melakukan
penerbangan. Pernyataan ini salah jika

p dan q memiliki nilai kebenaran yang berlawanan, yaitu ketika Anda tidak membeli tiket, tetapi Anda
dapat mengambil

penerbangan (seperti ketika Anda mendapatkan perjalanan gratis) dan ketika Anda membeli tiket
tetapi Anda tidak dapat melakukan penerbangan

(seperti saat maskapai menabrak Anda). ▲

PENGGUNAAN IMPLIKAT BICONDITIONAL Anda harus menyadari bahwa biconditional tidak

selalu eksplisit dalam bahasa alami. Secara khusus, konstruksi "jika dan hanya jika" yang digunakan
dalam
biconditionals jarang digunakan dalam bahasa umum. Sebaliknya, biconditionals sering diekspresikan

menggunakan konstruksi "jika, maka" atau "hanya jika". Bagian lain dari "jika dan hanya jika" adalah
implisit.

Artinya, kebalikannya tersirat, tetapi tidak dinyatakan. Sebagai contoh, pertimbangkan pernyataan
dalam bahasa Inggris

"Jika Anda sudah menghabiskan makanan Anda, maka Anda dapat menikmati hidangan penutup."
Yang dimaksud sebenarnya adalah "Anda dapat menikmati

makanan penutup jika dan hanya jika Anda menghabiskan makanan Anda." Pernyataan terakhir ini
secara logika setara dengan

dua pernyataan "Jika Anda menghabiskan makanan Anda, maka Anda dapat menikmati makanan
penutup" dan "Anda dapat menikmati makanan penutup

hanya jika Anda sudah menghabiskan makanan Anda." Karena ketidaktepatan dalam bahasa alami
ini, kita perlu

membuat asumsi apakah pernyataan bersyarat dalam bahasa alami secara implisit menyertakan

sebaliknya. Karena ketepatan sangat penting dalam matematika dan logika, kita akan selalu
membedakan

antara pernyataan kondisional p → q dan pernyataan bikondisional p ↔ q.

Tabel Kebenaran dari Proposisi Majemuk

Kami sekarang telah memperkenalkan empat penghubung logis yang penting-konjungsi, disjungsi,
konjungsi, kon-

pernyataan kondisional, dan pernyataan bikondisional-serta negasi. Kita dapat menggunakan

pernyataan-pernyataan ini untuk

nektif untuk membangun proposisi majemuk yang rumit yang melibatkan sejumlah proposisi

variabel. Kita dapat menggunakan tabel kebenaran untuk menentukan nilai kebenaran dari proposisi-
proposisi majemuk ini,

seperti yang diilustrasikan pada Contoh 11. Kami menggunakan kolom terpisah untuk menemukan
nilai kebenaran dari setiap senyawa

ekspresi yang terjadi dalam proposisi majemuk saat dibangun. Nilai-nilai kebenaran dari

proposisi majemuk untuk setiap kombinasi nilai kebenaran dari variabel proposisional di dalamnya

dapat ditemukan di kolom terakhir tabel.

CONTOH 11 Buatlah tabel kebenaran dari proposisi majemuk

(p ∨ ¬q) → (p ∧ q).

Solusi: Karena tabel kebenaran ini melibatkan dua variabel proposisional p dan q, maka ada empat

baris dalam tabel kebenaran ini, satu untuk setiap pasangan nilai kebenaran TT, TF, FT, dan FF. Yang
pertama

dua kolom digunakan untuk nilai kebenaran p dan q, masing-masing. Pada kolom ketiga kita
menemukan

nilai kebenaran dari ¬q, yang dibutuhkan untuk menemukan nilai kebenaran dari p ∨ ¬q, yang
terdapat pada kolom keempat. Nilai

Kolom kelima memberikan nilai kebenaran dari p ∧ q. Akhirnya, nilai kebenaran dari (p ∨ ¬q) → (p ∧
q) adalah

yang terdapat pada kolom terakhir. Tabel kebenaran yang dihasilkan ditunjukkan pada Tabel 7. ▲

TABEL 7 Tabel Kebenaran dari (p ∨ ¬ q) → (p ∧ q).

p q ¬q p ∨ ¬q p ∧ q (p ∨ ¬q) → (p ∧ q)

TTFTTT

TFTTFF

FTFFFT

FFTTFF

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

1.1 Logika Proposisi 11

Prioritas Operator Logis

Kita dapat membuat proposisi majemuk dengan menggunakan operator negasi dan operator logika

yang didefinisikan sejauh ini. Kita umumnya akan menggunakan tanda kurung untuk menentukan
urutan operator logika

dalam proposisi majemuk harus diterapkan. Sebagai contoh, (p ∨ q) ∧ (¬r) adalah konjungsi

dari p ∨ q dan ¬r. Tetapi, untuk mengurangi jumlah tanda kurung, kita tentukan bahwa negasi

diterapkan sebelum semua operator logika lainnya. Ini berarti bahwa ¬p ∧ q adalah konjungsi

dari ¬p dan q, yaitu, (¬p) ∧ q, bukan negasi dari konjungsi p dan q, yaitu ¬(p ∧ q).

Aturan umum lainnya tentang prioritas adalah bahwa operator konjungsi didahulukan dari
operator disjungsi, sehingga p ∧ q ∨ r berarti (p ∧ q) ∨ r, bukan p ∧ (q ∨ r). Karena

aturan ini mungkin sulit untuk diingat, kami akan terus menggunakan tanda kurung sehingga urutan

operator disjungsi dan konjungsi sudah jelas.

TABEL 8

Prioritas dari

Operator Logis.

Prioritas Operator

¬1

∧2

∨3

→4

↔ 5 Akhirnya, merupakan aturan yang diterima bahwa operator kondisional dan bikondisional →
dan ↔

memiliki prioritas yang lebih rendah daripada operator konjungsi dan disjungsi, ∧ dan ∨. Akibatnya,

p ∨ q → r sama dengan (p ∨ q) → r. Kita akan menggunakan tanda kurung jika urutan konjungsi

Operator kondisional dan operator bikondisional dipermasalahkan, meskipun operator kondisional

memiliki

prioritas di atas operator bikondisional. Tabel 8 menampilkan tingkat prioritas dari operator logika

operator, ¬, ∧, ∨, →, dan ↔.

Operasi Logika dan Bit

Komputer merepresentasikan informasi menggunakan bit. Bit adalah simbol dengan dua
kemungkinan nilai, yaitu,

0 (nol) dan 1 (satu). Arti kata bit ini berasal dari digit biner, karena nol dan

satu adalah digit yang digunakan dalam representasi angka biner. Ahli statistik terkenal John

Tukey memperkenalkan terminologi ini pada tahun 1946. Sebuah bit dapat digunakan untuk
merepresentasikan nilai kebenaran, karena

ada dua nilai kebenaran, yaitu benar dan salah. Seperti yang biasa dilakukan, kita akan menggunakan
1 bit untuk

mewakili benar dan bit 0 untuk mewakili salah. Artinya, 1 mewakili T (benar), 0 mewakili F (salah). A

disebut variabel Boolean jika nilainya benar atau salah. Akibatnya, sebuah variabel Boolean
variabel dapat direpresentasikan menggunakan bit.

Bit Nilai Kebenaran

T1

F0

Operasi bit komputer sesuai dengan penghubung logika. Dengan mengganti true dengan satu

dan salah dengan nol pada tabel kebenaran untuk operator ∧, ∨, dan ⊕, tabel yang ditunjukkan
pada Tabel 9

untuk operasi bit yang sesuai diperoleh. Kita juga akan menggunakan notasi OR, AND, dan

XOR untuk operator ∨, ∧, dan ⊕, seperti yang dilakukan dalam berbagai bahasa pemrograman.

JOHN WILDER TUKEY (1915-2000) Tukey, lahir di New Bedford, Massachusetts, adalah anak tunggal.
Ayahnya

Orang tua, keduanya guru, memutuskan bahwa sekolah di rumah adalah cara terbaik untuk
mengembangkan potensinya. Pendidikan formalnya dimulai

di Brown University, di mana ia belajar matematika dan kimia. Beliau menerima gelar master di
bidang kimia

dari Brown dan melanjutkan studinya di Universitas Princeton, mengubah bidang studinya dari kimia
menjadi

matematika. Beliau menerima gelar Ph.D. dari Princeton pada tahun 1939 untuk pekerjaan di bidang
topologi, ketika beliau diangkat sebagai

instruktur matematika di Princeton. Dengan dimulainya Perang Dunia II, ia bergabung dengan Kantor
Penelitian Pengendalian Kebakaran,

di mana ia mulai bekerja di bidang statistik. Tukey menemukan penelitian statistik yang ia sukai dan
membuat beberapa

ahli statistik dengan keahliannya. Pada tahun 1945, pada akhir perang, Tukey kembali ke departemen
matematika

di Princeton sebagai profesor statistik, dan ia juga mengambil posisi di AT&T Bell Laboratories. Tukey
mendirikan

Departemen Statistik di Princeton pada tahun 1966 dan merupakan ketua pertamanya. Tukey
memberikan kontribusi yang signifikan pada banyak bidang

statistik, termasuk analisis varians, estimasi spektrum deret waktu, inferensi tentang nilai-nilai dari
serangkaian parameter

dari satu percobaan, dan filosofi statistik. Namun, dia terkenal karena penemuannya, bersama JW
Cooley, tentang
Transformasi Fourier. Selain kontribusinya dalam statistik, Tukey juga dikenal sebagai penulis kata-
kata yang terampil; ia dikreditkan dengan menciptakan

istilah bit dan perangkat lunak.

Tukey menyumbangkan wawasan dan keahliannya dengan menjadi anggota Komite Penasihat Sains
Presiden. Dia mengetuai beberapa

komite-komite penting yang berhubungan dengan lingkungan hidup, pendidikan, serta bahan kimia
dan kesehatan. Beliau juga menjabat di komite-komite yang menangani

tentang perlucutan senjata nuklir. Tukey menerima banyak penghargaan, termasuk National Medal of
Science.

CATATAN SEJARAH Ada beberapa kata lain yang disarankan untuk digit biner, termasuk binit dan bigit,
yang tidak pernah digunakan secara luas

diterima. Penggunaan kata bit mungkin karena maknanya sebagai kata dalam bahasa Inggris yang
umum. Untuk penjelasan tentang penciptaan Tukey

dari kata bit, lihat Annals of the History of Computing edisi April 1984.

P1: 1/1 P2: 1/2 QC: 1/1 T1: 2

CH01-7T Rosen-2311T MHIA017-Rosen-v5.cls 13 Mei 2011 15:27

12 1 / Dasar-dasar: Logika dan Bukti

TABEL 9 Tabel untuk Operator Bit OR,

AND, dan XOR.

xyx∨yx∧yx⊕y

00000

01101

10101

11110

Informasi sering kali direpresentasikan menggunakan string bit, yang merupakan daftar angka nol
dan satu. Ketika

ini dilakukan, operasi pada string bit dapat digunakan untuk memanipulasi informasi ini.

DEFINISI 7 String bit adalah urutan nol bit atau lebih. Panjang string ini adalah jumlah bit

dalam senar.
CONTOH 12 101010011 adalah bit string dengan panjang sembilan. ▲

Kita dapat memperluas operasi bit ke string bit. Kita mendefinisikan bitwise OR, bitwise AND, dan

XOR bitwise dari dua string dengan panjang yang sama menjadi string yang memiliki bit-bit OR,

AND, dan XOR dari bit yang sesuai dalam dua string, masing-masing. Kami menggunakan simbol-
simbol

∨, ∧, dan ⊕ untuk mewakili operasi bitwise OR, bitwiseAND, dan bitwise XOR.

Kami mengilustrasikan operasi bitwise pada string bit dengan Contoh 13.

CONTOH 13 Temukan OR bitwise, AND bitwise, dan XOR bitwise dari string bit 01 1011 0110 dan

11 0001 1101. (Di sini, dan di seluruh buku ini, string bit akan dibagi menjadi empat blok

bit agar lebih mudah dibaca).

Solusi: OR bitwise, AND bitwise, dan XOR bitwise dari string ini diperoleh dengan mengambil

OR, AND, dan XOR dari bit yang sesuai, masing-masing. Hal ini memberi kita

01 1011 0110

11 0001 1101

11 1011 1111 bitwise ATAU

01 0001 0100 bitwise DAN

10 1010 1011 XOR bitwise