What do these concepts mean in terms of truth tables?