a-formule
Le a-formule sono le seguenti: 


   V[notA]    V[A&B]    F[notA]    F[AvB]
      |         |         |         |
      |         |         |         |
    F[A]      V[A]      V[A]      F[A]
                |                   |
                |                   |
              V[B]                F[B]


   F[A==>B]
      |
      |
    V[A]
      |
      |
    F[B]