load(functs)$

a: 3661$
b: 2541$

logor(a, b);
/* 4077 */

logand(a, b);
/* 2125 */

logxor(a, b);
/* 1952 */

/* NOT(x) is simply -x - 1
-a - 1;
/* -3662 */

logor(a, -a - 1);
/* -1 */

logand(a, -a - 1);
/* 0 */