In specifying the functions of the algebra of logic one often uses tables which contain all the combinations of the values of the variables and the values of the functions on these combinations. Thus, the synoptic table of the functions X and V is given below: