LOGIC COMPACT