المعاملات المنطقية

جزء من قسم الأساسيات في رحلة Verilog على Coddy — الدرس 24 من 90.

تعمل العوامل المنطقية (logical) على القيم الكلية وترجع نتيجة واحدة: 1 (صواب) أو 0 (خطأ). وعلى عكس العوامل على مستوى البت (bitwise) التي تعمل بتًا بت، تتعامل العوامل المنطقية مع القيمة بأكملها إما كـ true (غير صفرية non-zero) أو false (صفرية zero).

النوع	مثال	النتيجة
bitwise AND	`4'b1010 & 4'b1100`	`4'b1000` (multiple bits)
logical AND	`(4'b1010 && 4'b1100)`	`1` (single bit)

العوامل المنطقية المتاحة (Logical Operators)

العامل (Operator)	المعنى	الوصف
`&&`	Logical AND	صحيح (True) إذا كان both المعاملين صحيحين (غير صفريين)
`\|\|`	Logical OR	صحيح (True) إذا كان معامل at least one صحيحًا على الأقل
`!`	Logical NOT	صحيح (True) إذا كان المعامل خاطئًا (يساوي صفرًا)

كيف تعمل

Logical AND (&&):

(5 && 3)   // 1 (كلاهما غير صفري)
(5 && 0)   // 0 (الثاني صفر)
(0 && 0)   // 0 (كلاهما صفر)

Logical OR (||):

(5 || 3)   // 1 (واحد على الأقل غير صفري)
(5 || 0)   // 1 (الأول غير صفري)
(0 || 0)   // 0 (كلاهما صفر)

Logical NOT (!):

!5         // 0 (غير الصفر يصبح false)
!0         // 1 (الصفر يصبح true)

مثال على الكود

module logical_demo;
  reg [3:0] a, b;
  reg and_res, or_res, not_res;
  
  initial begin
    a = 5;
    b = 0;
    
    and_res = (a && b);   // 5 && 0 = 0
    or_res  = (a || b);   // 5 || 0 = 1
    not_res = !a;         // !5 = 0
    
    $display("5 && 0 = %d", and_res);
    $display("5 || 0 = %d", or_res);
    $display("!5     = %d", not_res);
    $finish;
  end
endmodule

الناتج:

5 && 0 = 0
5 || 0 = 1
!5     = 0

الاستخدام الشائع

تُستخدم المعاملات المنطقية (Logical operators) في عبارات if والشروط:

if (a && b)           // صحيح إذا كان كل من a و b غير صفريين
  $display("Both true");

if (a || b)           // صحيح إذا كان واحد على الأقل غير صفري
  $display("At least one true");

if (!reset)           // صحيح عندما يكون reset هو 0
  $display("Reset is inactive");

التحدي

اكتب التعبيرات المنطقية الصحيحة لكل مهمة.

ما يجب القيام به:

تحقق مما إذا كان value1 و value2 كلاهما صحيحًا (true) وقم بالتخزين في and_out
تحقق مما إذا كان value1 أو value2 صحيحًا (true) وقم بالتخزين في or_out
تحقق مما إذا كان value1 خاطئًا (false) وقم بالتخزين في not_out

جرّب بنفسك

module logical_challenge;
  reg [3:0] value1, value2;
  reg and_out, or_out, not_out;
  
  initial begin
    value1 = 4'd12;
    value2 = 4'd5;
    
    and_out = ______;   // value1 && value2
    or_out  = ______;   // value1 || value2
    not_out = ______;   // !value1
    
    $display("%d && %d = %d", value1, value2, and_out);
    $display("%d || %d = %d", value1, value2, or_out);
    $display("!%d     = %d", value1, not_out);
    $finish;
  end
endmodule