Definition:Bottom/Truth Table