P46: Truth tables for logical expressions.