Menggunakan tabel kebenaran

Sulit bukan, untuk membayangkan keadaan Kulu hanya berdasarkan kalimat? Tabel kebenaran berguna untuk membantu kita dalam kesulitan ini.

Sebelumnya telah kita pelajari cara membuat tabel kebenaran. Karena kalimat yang kita miliki adalah q dan k yang independen, maka pertama kita buat kolom untuk q dan k. Ingat bahwa dua kalimat akan memiliki 4 macam kombinasi.

Masing-masing baris berkaitan dengan keadaan Kulu tertentu.

Keadaan	q	k
	S	S
	S	B
	B	S
	B	B

Untuk menentukan gambar bagi q \land k, pertama kita harus menyediakan kolom bagi q \land k.

Keadaan	q	k	q \land k
	S	S
	S	B
	B	S
	B	B

Konjungsi memaksudkan bahwa kedua anak kalimat terjadi. Berarti dalam kolom q \land k, satu-satunya yang benar adalah baris terakhir, karena kedua kondisi q maupun k adalah benar.

Keadaan	q	k	q \land k
	S	S	S
	S	B	S
	B	S	S
	B	B	B

Karena hanya baris terakhir yang benar, maka gambar untuk kolom q \land k adalah gambar pada baris terakhir saja.

Keadaan	q	k	q \land k
	S	S	S
	S	B	S
	B	S	S
	B	B	B

Berarti, untuk kalimat q \land k, gambarnya adalah:

Dengan cara yang sama kita dapat membuat kolom untuk disjungsi q \vee k.

Keadaan	q	k	q \land k	q \lor k
	S	S	S	S
	S	B	S	B
	B	S	S	B
	B	B	B	B

Yang berarti q \lor k akan memiliki gambar:

Demikian juga untuk disjungsi eksklusif q \veebar k.

Keadaan	q	k	q \land k	q \lor k	q \veebar k
	S	S	S	S	S
	S	B	S	B	B
	B	S	S	B	B
	B	B	B	B	S

Berikutnya: Contoh