Logical reasoning truth table for PVQ