我这个黑金版Edge，你们每个人都可以用

import dmath.logic as dml

s='((not p)|(not Q|R))'

dml.truthtable3(s)     

def truthtable3(s): 

  w='P O R'+s 

  print("%r"%w) 

truth={True,False} 

for P in truth: 

  for Q in truth: 

    for R in truth: 

      f=eval(s) 

      t=[P,O,R]+[f] 

      print01(t)