Propocición bicondicional

p            q                  p<--->q
v            v                      v
v            f                      f
f            v                      f
f            f                      v