Sorunun Çözümü
- I. $p \lor q = q \lor p$ ifadesi, veya bağlacının değişme özelliğidir. Bu ifade doğrudur.
- II. $(p')' = p$ ifadesi, çift olumsuzlama kuralıdır. Bu ifade doğrudur.
- III. $p \Rightarrow q = q \Rightarrow p$ ifadesi, gerektirme bağlacının değişme özelliği değildir. Örneğin, $p=1, q=0$ için $1 \Rightarrow 0 = 0$ iken $0 \Rightarrow 1 = 1$ olur. Bu ifade yanlıştır.
- IV. $p \lor (q \lor r) = (p \lor q) \lor r$ ifadesi, veya bağlacının birleşme özelliğidir. Bu ifade doğrudur.
- V. $(p \land q)' = p' \lor q'$ ifadesi, De Morgan kuralıdır. Bu ifade doğrudur.
- Verilen denkliklerden I, II, IV ve V olmak üzere 4 tanesi doğrudur.
- Doğru Seçenek D'dır.