Question 208804
<pre><font size = 4 color = "indigo"><b>
There are 8 building blocks for ~q <-> [~r^(pvq)] 
so that each successive one can be gotten by
doing negation, disjunction, conjunction, and 
biconditional operations on one or two previous
building blocks, starting with the single letters: 
  
        ~q <-> [~r^(pvq)]            
                                 
1                   p                start with 1st single letter
2        q                           2nd single letter
3                r                   3rd single letter
4               ~r                   the negation of 3
5                  (pvq)             the disjunction of 1,2
6              [~r^(pvq)]            the conjunction of 4,5
7       ~q                           the negation of 2
8       ~q <-> [~r^(pvq)]            the biconditional of 6 and 7

Make a chart:

 p    q   r   ~r   (pvq) [~r^(pvq)]   ~q    ~q <-> [~r^(pvq)]
 |    |   |    |     |      |          |        |   
 F    T   T    F     T      F          F        T

So the truth value is T.

Edwin</pre>