Thanks to Robert Furtado

Correction to Possible Worlds by Raymond Bradley and
Norman Swartz, page 305, Figure (5.bb)


All forms of  "(~A ● ~B) (C C)"
P 1 @ length 1
P Q 1 @ length 3
P (Q Q)
P (Q R)
(P ● Q) R
3 @ length 7
◄ missing on p. 305
 
(~P ● Q) R
(P ● ~Q) R
2 @ length 8
◄ missing on p. 305
(~P ● ~Q) R 1 @ length 9
(P ● Q) (R R)
(P ● Q) (R S)
2 @ length 11
 
(P ● ~Q) (R R)
(P ● ~Q) (R S)
(~P ● Q) (R R)
(~P ● Q) (R S)
4 @ length 12
(~P ● ~Q) (R R)
(~P ● ~Q) (R S)
2 @ length 13