جدول الصدق لـ (((A→B)∧(B→C))→(A→C))

(((A→B)∧(B→C))→(A→C))

الخصائص: حقيقة منطقية