An occurrence of a statement as a part of a longer statement is called truth functional, whenever we supplant the contained statement by another statement having the same truth value, the containing statement remains unchanged in truth value.