the output Y for all possible inputs A and B is expressed by the truth table