b-formule
Le b-formule sono le seguenti: 

     V[AvB]             V[A==>B]
       /\                  /\
      /  \                /  \
     /    \              /    \
   V[A]   V[B]         F[A]   F[B]


          F[A&B]
            /\
           /  \
          /    \
        F[A]   F[B]