P47 (*) Truth tables for logical expressions (2). Infix syntax