Boş olmayan A, B, C kümeleri için, p: "A kümesi B kümesinin alt kümesidir." q: "B kümesi A kümesinin alt kümesidir." r: "A ve B kümeleri eşit iki kümedir." önermeleri veriliyor. Buna göre, 1. (p^q)⇒r II. (pvq)⇒r III. p q bileşik önermelerinden hangileri doğrudur?​