Predicate examples

  • Given that A, B, and D are boolean variables, and x and y are integers, the following statements are expressions: A, x > y, A or B, A and (x < y), (A and B) or (A and D) and (D), (A xor B) and (x >= y). <bib>mathur:2008, 418</bib>