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 )