Să se verifice dacă următoarele formule sunt tautologii:
a) (p v q) <-> (q v p)
b) (p ^ q) <-> (q ^ p)
