Periksalah pernyataan-pernyataan berikut merupakan

Periksalah pernyataan-pernyataan berikut merupakan tautologi, kontradiksi, atau bukan kedua-duanya. a. p ^ q => ~(p v q) b. (p => q) v (~p v q) c. (~p v ~q) ^ ~p