Obtener la tabla de verdad para una expresión booleana

bdd.py

#!/usr/bin/python

def conjuncion(V1, V2):
  return (V1 and V2)

def disyuncion(V1, V2):
  return (V1 or V2)

def negacion(V):
  return not(V)

def main():
  print 'A B C D\t\tf'
  for A in range(2):
    for B in range(2):
      for C in range(2):
        for D in range(2):
          formula = int(disyuncion(conjuncion(conjuncion(A,D),conjuncion(negacion(B),negacion(D))),disyuncion(B,C)))
          print A,B,C,D,'\t',formula

main()