Construct truth table for (P^Q)