/* Unit Test: Logical Operators */
/* Tests: All logical operators */

/* Basic logical operations */
and_true : 1 and 1;
and_false : 1 and 0;
or_true : 0 or 1;
or_false : 0 or 0;
xor_true : 1 xor 0;
xor_false : 1 xor 1;
not_true : not 0;
not_false : not 1;

/* Test results */
..assert and_true = true;
..assert and_false = false;
..assert or_true = true;
..assert or_false = false;
..assert xor_true = true;
..assert xor_false = false;
..assert not_true = true;
..assert not_false = false;

/* Complex logical expressions */
complex1 : 1 and 1 and 1;
complex2 : 1 or 0 or 0;
complex3 : not (1 and 0);
complex4 : (1 and 1) or (0 and 1);

..assert complex1 = true;
..assert complex2 = true;
..assert complex3 = true;
..assert complex4 = true;

..out "Logical operators test completed";