• $v(A)=(0\lor 1)\rarr(0\land(0\rarr0))=1\rarr0=0$
• $v(A)=(1\land 0)\lor(0\lor 1)=1$
• $v(p)=0\ \ \ \ v(A)=0\lor 1=1 \\ v(p)=1\ \ \ \ v(A)=1\lor 0=1$
• $A=(p\rarr q)\rarr p$
  • $v(p)=0,\ \ v(q)=0:$
    • $v(A)=1\rarr0=0$
  • $v(p)=0, \ \ v(q)=1:$
    • $v(A)=1\rarr0=0$
  • $v(p)=1, \ \ v(q)=1:$
    • $v(A)=1\rarr1=1$
  • $v(p)=1, \ \ v(q)=0:$
    • $v(A)=0\rarr1=1$

1. Soddisfacibile, tautologia, non contraddittoria
2. Insoddisfacibile, non è tautologia, contraddittoria
3. Soddisfacibile, non è tautologia, non contraddittoria
4. Soddisfacibile, tautologia, non contraddittoria
5. Soddisfacibile, tautologia, non contraddittoria
6. Soddisfacibile, tautologia, non contraddittoria
7. Soddisfacibile, tautologia, non contraddittoria
8. Soddisfacibile, tautologia, non contraddittoria
9. Soddisfacibile, non è tautologia, non contraddittoria
10. zero sbatti
11. zero sbatti