Equivalências Lógicas Flashcards by Jedson Mota | Brainscape

Q

Equivalência distributivas (chuveirinho)
^|v

A

A^(BvC) = (A^B) v (A^C)

Av(B^C) = (AvB) ^ (AvC)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Equivalência Condicional
A—>B

A

~AvB

~B—>~A (contra-positiva)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Lei de de morgan (não é verdade que)

A

~(A^B) = ~Av~B
Nega, Nega, Nega

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Equivalência da Bicondicional A<—>B

A

(A—>B)^(B—>A)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly