How to Construct Logic Variables in Q

Follow