جدول الصواب
اكتب صيغة منطقية بأي طريقة تناسبك — كل هذه الصيغ تعطي نفس النتيجة: p ∧ q → ¬r أو p /\ q -> ~r أو p and q => not r
جرّب أحد الأمثلة:
الرموز المقبولة
| الرابط المنطقي | الكتابات المقبولة |
|---|---|
| النفي (not) | ¬p ~p !p not p |
| العطف (and) | p ∧ q p /\ q p && q p and q |
| نفي العطف (nand) | p ↑ q p ⊼ q p nand q |
| الفصل (or) | p ∨ q p \/ q p || q p or q |
| نفي الفصل (nor) | p ↓ q p ⊽ q p nor q |
| الفصل الحصري (xor) | p ⊕ q p ⊻ q p xor q |
| الشرط (implies) | p → q p -> q p => q p implies q |
| التكافؤ (iff) | p ↔ q p <-> q p <=> q p iff q |
| الثوابت (constants) | ⊤ T true / ⊥ F false |