Week 6 - Logical Equivalences and SAT Flashcards by Dominic Lees | Brainscape

Q

Two formulas are logically equivalent if they have the…

A

same semantics. (Same truth values)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

CNF

A

Conjunctive Normal Form. ORs in the brackets, ANDs connecting the brackets.

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

DNF

A

Disjunctive Normal Form. ANDs in the brackets, ORs connecting the brackets.

How well did you know this?

1

Not at all

2

3

4

5

Perfectly