p implies q

Input

p implies q
p IMPLIES q

Truth table

p | q | p implies q
T | T | T
T | F | F
F | T | T
F | F | T

Venn diagram

Venn diagram