 On the other hand, A∧B cannot be defined in terms of implication alone, without using negation.In a sense, the expressions A∧B and A∨B can be thought of as "black boxes".Inside, these black boxes contain formulas made up only of implication and negation.