p v ( p 3 )
¬ p v ( p 3 )
p u ( p 1 )
n 11 ( 4 )
n 12 ( 2 )
n 1 + ( 6 )
¬ p u ( p 1 )
n 21 ( 3 )
n 22 ( 3 )
n 2 + ( 6 )
n + 1 ( 7 )
n + 2 ( 5 )
n + + ( 12 )