or
lshorter rex rules:
lor(0, 0) => 0;
lor(x, y) => 1;