LATTICE LOGIC