p46 truth tables for logical expressions