Skip to content

Instantly share code, notes, and snippets.

@ivmos
Created May 15, 2017 08:32
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ivmos/52e2b2b432d91ec73688783a19848396 to your computer and use it in GitHub Desktop.
Save ivmos/52e2b2b432d91ec73688783a19848396 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
else:
return True
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