Pernyataan majemuk yang bersifat tautologi berdasarkan tabel kebenaran adalah pernyataan (b) dan (d).

Pernyataan tautologi adalah pernyataan majemuk yang selalu benar, tidak peduli apa yang terjadi pada kondisi individu. Pernyataan tersebut dapat dibuktikan dengan menggunakan tabel kebenaran.

Untuk pernyataan (b), apabila kondisi p benar dan kondisi q benar, maka pernyataan (p v q) dan (q v p) sama-sama benar. Apabila kondisi p benar dan kondisi q salah, maka pernyataan (p v q) benar dan (q v p) benar. Apabila kondisi p salah dan kondisi q benar, maka pernyataan (p v q) benar dan (q v p) benar. Dan apabila kondisi p salah dan kondisi q salah, maka pernyataan (p v q) dan (q v p) sama-sama salah.

Dengan demikian, pernyataan (b) selalu benar, tidak peduli apa yang terjadi pada kondisi p dan q. Oleh karena itu, pernyataan (b) merupakan pernyataan tautologi.

Untuk pernyataan (d), apabila kondisi p benar dan kondisi q benar, maka pernyataan (p => q) benar, (p ʌ (p => q)) benar, dan [(p => q) ʌ p] => q benar. Apabila kondisi p benar dan kondisi q salah, maka pernyataan (p => q) salah, (p ʌ (p => q)) benar, dan [(p => q) ʌ p] => q salah. Apabila kondisi p salah dan kondisi q benar, maka pernyataan (p => q) benar, (p ʌ (p => q)) salah, dan [(p => q) ʌ p] => q benar. Dan apabila kondisi p salah dan kondisi q salah, maka pernyataan (p => q) benar, (p ʌ (p => q)) salah, dan [(p => q) ʌ p] => q benar.

Dengan demikian, pernyataan (d) selalu benar, tidak peduli apa yang terjadi pada kondisi p dan q. Oleh karena itu, pernyataan (d) merupakan pernyataan tautologi