Thinking Operations → Logic → Basic Logical Operations
MR-707 / 9.