جدول الصدق لـ ((A→B)↔(¬A∨B))
((A→B)↔(¬A∨B))
الخصائص: حقيقة منطقية
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| خاطئ | خاطئ | صحيح |
| صحيح | خاطئ | صحيح |
| خاطئ | صحيح | صحيح |
| صحيح | صحيح | صحيح |
((A→B)↔(¬A∨B))
الخصائص: حقيقة منطقية
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| خاطئ | خاطئ | صحيح |
| صحيح | خاطئ | صحيح |
| خاطئ | صحيح | صحيح |
| صحيح | صحيح | صحيح |