Computer Science · Mathematical Logic

मान लीजिए α, β, γ तार्किक चर (logical variables) हैं। पहचानें कि निम्नलिखित में से कौन सा तार्किक तुल्यता (logical equivalence) को सही ढंग से दर्शाता है: (A) (α ∧ (β ∨ γ)) ≡ ((α ∧ β) ∨ (α ∧ γ)) (B) (α ∨ β) ≡ ¬α ∨ β (C) (α ⇒ β) ≡ (¬β ⇒ ¬α) (D) (¬(α ∨ β)) ≡ (¬α ⇒ ¬β) नीचे दिए गए विकल्पों में से सही उत्तर चुनिए: