নিচের যুক্তিটি কি বৈধ (tautology)?
((A ∨ B) ∧ ¬A) → B
এটি Disjunctive Syllogism নামে পরিচিত।
যে গাইডগুলো এই অনুশীলনের বিষয় ব্যাখ্যা করে।