python - una - tablas de verdad javascript

Python construir una tabla de verdad creciente dinámica

Question

Mi pregunta es simple: "¿cómo construir una tabla de verdad de crecimiento dinámico en python de una manera elegante?"

para n = 3

for p in False, True:
    for q in False, True:
        for r in False, True:
            print ''|{0} | {1} | {2} |''.format(int(p),int(q), int(r))

para n = 4

for p in False, True:
    for q in False, True:
        for r in False, True:
            for s in False, True:
                print ''|{0} | {1} | {2} | {3}''.format(int(p),int(q), int(r), int(s))

Me gustaría tener una función que tome n como parámetro y construya la tabla, no es necesario imprimir la tabla, devolver una estructura de datos que represente la tabla también está bien.

Answer 1

está bien devolver una estructura de datos que representa la tabla

... en ese caso el range(2 ** n) es todo lo que necesita. Cada número en el rango representa una fila en la tabla de verdad. El bit i th de la representación binaria del número k es 1 si, y solo si, la variable i th es verdadera en la fila k th de la tabla.

Si quieres una tabla real puedes usar:

[ [ ((row >> bit_index) & 1) == 1 for bit_index in range(n)] 
  for bit_index in range(2 ** n) ]

Answer 2

¿A quién aquí le gustan las lineas crudas?

>>> truthtable = lambda n: [[(v>>i)&1 for i in range(n-1,-1,-1)] for v in range(1<<n)] if n>0 else [[]]

100% probado y funcionando.
(No se puede copiar / pegar el resultado, o código anterior, porque estoy en un teléfono por Internet)

Answer 3

Echa un vistazo al módulo de itertools

In [7]: [i for i in itertools.product([0,1], repeat=3)]
Out[7]: 
[(0, 0, 0),
 (0, 0, 1),
 (0, 1, 0),
 (0, 1, 1),
 (1, 0, 0),
 (1, 0, 1),
 (1, 1, 0),
 (1, 1, 1)]

Answer 4

Las comprensiones de la lista son, por supuesto, más Pythonic.

def truthtable (n):
  if n < 1:
    return [[]]
  subtable = truthtable(n-1)
  return [ row + [v] for row in subtable for v in [0,1] ]

Resultados, con sangría para la claridad:

truthtable(1)
[ [0],
  [1] ]

truthtable(3)
[ [0, 0, 0],
  [0, 0, 1],
  [0, 1, 0],
  [0, 1, 1],
  [1, 0, 0],
  [1, 0, 1],
  [1, 1, 0],
  [1, 1, 1] ]

Como función generadora con yield :

def truthtable (n): 
  if n < 1:
    yield []
    return
  subtable = truthtable(n-1)
  for row in subtable:
    for v in [0,1]:
      yield row + [v]

Además, simplemente cambiando el retorno de una comprensión de matriz a una expresión de generador, el tipo de retorno es equivalente a la función del generador de la versión de yield :

def truthtable (n):
  if n < 1:
    return [[]]
  subtable = truthtable(n-1)
  return ( row + [v] for row in subtable for v in [0,1] )

Answer 5

Utilice itertools.product() :

table = list(itertools.product([False, True], repeat=n))

Resultado para n = 3 :

[(False, False, False),
 (False, False, True),
 (False, True, False),
 (False, True, True),
 (True, False, False),
 (True, False, True),
 (True, True, False),
 (True, True, True)]

Answer 6

itertools realmente es el camino a seguir como ha sido señalado por todos. Pero si realmente desea ver las tuercas y los pernos del algoritmo requerido para esto, debe buscar un descenso recursivo . Así es como funcionaría en tu caso:

def tablize(n, truths=[]):
    if not n:
        print truths
    else:
        for i in [True, False]:
            tablize(n-1, truths+[i])

Probado, trabajando

Espero que esto ayude