Skip to content

Instantly share code, notes, and snippets.

@ivmos
Created May 15, 2017 08:30
Show Gist options
  • Save ivmos/f5c78314419e3b851c9f2abf969227af to your computer and use it in GitHub Desktop.
Save ivmos/f5c78314419e3b851c9f2abf969227af to your computer and use it in GitHub Desktop.
#https://ivanmosquera.net/2017/05/15/implication-conditional-equivalence-and-biconditional-nl-and-programming-examples/
def conditional(a,b):
if a:
return b
print("\tp\tq\tp =>q")
for p in (True, False):
for q in (True, False):
print("%10s %10s %s" %(p,q, conditional(p, q)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment