The propositional logic of argument P and Q, conjunction, disjunction, implication and equivalent operations, the result in the Z, c language programming to realize the arithmetic of probation
(i.e., the different kinds of input P and Q value, output corresponding true value of Z)