Ads_Fundo

Tabela de Equivalência

1) p ^ p ↔ p

2) p ^ q ↔q ^ p

3) p ^( q ^ r ) ↔ ( p ^ q )

4) p ^ ( p ^q ) ↔ ^ r

5) p ^ t ↔ p

6) p ^ c ↔ c

7) p ^ ~p ↔ c

8) p v p ↔ p

9) p v q ↔ q v p

10) p v ( q v r ) ↔ ( p v q ) v r

11) p v ( q ^ r ) ↔ ( p v q ) v r

12) p v t ↔ t

13) p v c ↔ p

14) p v ~p ↔ t

15) p → q ↔ ~p v q

16) p ↔ q↔ ( p → q ) ^( q → p )

17) ~( ~p ) ↔ p

18) ~ ( p ^ q ) ↔ ~p v ~q

19) ~( p v q ) ↔ ~p ^ ~q