P47: Truth tables for logical expressions (2).