"can be represented symbolically by such means as equations or truth tables." . . . . .