not
lrex rules:
lnot(0) => 1;
lnot(1) => 0;