UTS LI

p∧q

p∨q

¬p

¬q

Menghasilkan benar jika kedua operand benar

Menghasilkan benar jika operand salah

Menghasilkan salah jika kedua operand salah

Menghasilkan salah hanya jika operand benar

Hanya satu pernyataan benar

Kedua pernyataan salah

Kedua pernyataan benar

Salah satu atau kedua pernyataan benar

¬p∨q

p∧q

¬(p∨q)

p∨¬q

Benar

Salah

Tidak bisa ditentukan

Benar hanya jika p benar

Jika p dan q benar

Jika p∨q benar dan r benar

Jika r salah

Jika p∧r salah

p benar dan q benar

p benar dan q salah

p salah dan q benar

P salah dan q salah

Jika tidak hujan, maka saya tidak akan membawa payung

Jika saya membawa payung, maka hujan

Jika tidak hujan, maka saya akan membawa payung

Jika saya tidak membawa payung, maka hujan

Proposisi yang bernilai salah di setiap node akhir

Proposisi yang bernilai benar di setiap node akhir

Proposisi yang bernilai benar di beberapa node akhir

Proposisi yang bernilai salah di beberapa node akhir

Valid

Kontradiksi

Satisfeable

Kontingen