İse bağlacının veya cinsinden yazılışı (p⇒q ≡ p'∨q)

p⇒q önermesinin doğruluk tablosunu oluşturunuz. Daha sonra p'∨q önermesinin doğruluk tablosunu oluşturarak \(p \Rightarrow q \equiv p' \lor q\) olduğunu gösteriniz.

📊 Doğruluk tablolarını karşılaştıralım.

• ➡️ p⇒q'nun doğruluk tablosu: p=1, q=1 için 1⇒1 = 1
  p=1, q=0 için 1⇒0 = 0
  p=0, q=1 için 0⇒1 = 1
  p=0, q=0 için 0⇒0 = 1
• ➡️ p'∨q'nun doğruluk tablosu: p=1, q=1 için p'=0, 0∨1 = 1
  p=1, q=0 için p'=0, 0∨0 = 0
  p=0, q=1 için p'=1, 1∨1 = 1
  p=0, q=0 için p'=1, 1∨0 = 1

✅ İki tablodaki tüm satırların sonuçları aynı olduğu için \(p \Rightarrow q \equiv p' \lor q\) özdeşliği ispatlanmış olur.