p q -q pvq -pvq pv-(pvq) pv-q T T F T T T T T F T T T T T F T F T F F F F F T F T T T ( Terbukti ekivalen )
2. Buktikan hukum penyerapan : p ^ (p v q) <=> p
p ^ (p v q) (p v F) ^ (p v q) (Hukum Identitas) p v (F ^ q) (Hukum Distributif) pvF (Hukum Null) p (Hukum Identitas) 3. misal : p : dia belajar algoritma q : dia belajar matematika a. –(p ^ -q)
b. "Dia tidak belajar Algoritma atau belajar Matematika".
4. a. p : ahmad lulus matakuliah matematika diskrit q : ahmad bisa mengambil matakuliah Teori bahasa formal "Jika Ahmad sudah lulus matakuliah Matematika Diskrit, maka ia bisa mengambil matakuliah Teori bahasa formal". b. p : api memercik dari rokok q : pom bensin meledak "Jika ada percikan api dari rokok, maka pom bensin meledak". c. p : indonesia ikut piala dunia q : indonesia mengontrak pemain asing kenamaaan "Jika Indonesia ikut piala dunia, maka Indonesia mengontrak pemain asing kenamaan". 5. Jika 3 lebih kecil dari 4, maka 3 adalah bilangan prima (p benar, p q benar) 3 tidak lebih kecil dari 4 (p salah) 3 bukanlah bilangan prima (konklusi salah)