Loading Documenta). ( p Λ q) Λ ( p v¬q)
p | q | p Λ q | ¬q | p v ¬q | (p v q) Λ ( p v ¬q) |
|---|---|---|---|---|---|
V | V | V | F | V | V |
V | F | F | V | V | F |
F | V | F | F | F | F |
F | F | F | V | V | F |
b) ( p Λ ¬q ) v ( ¬p Λ ¬q )
p | q | ¬p | ¬q | p Λ ¬q | ¬p Λ ¬q | ( p Λ ¬q) v ( ¬p Λ ¬q ) |
|---|---|---|---|---|---|---|
V | V | F | F | F | F | F |
V | F | F | V | V | F | V |
F | V | V | F | F | F | F |
F | F | V | V | F | V | V |
c) ( p v ¬q ) Λ r
p | q | r | ¬q | p v ¬q | ( p v ¬q ) Λ r |
|---|---|---|---|---|---|
V | V | V | F | V | V |
V | V | F | F | V | F |
V | F | V | V | V | V |
V | F | F | V | V | F |
F | V | V | F | F | F |
F | V | F | F | F | F |
F | F | V | V | V | V |
F | F | F | V | V | F |
d) ( ¬p ∧ ¬q ) →r
p | q | r | ¬p | ¬q | ¬p ∧ ¬q | ( ¬p ∧ ¬q ) →r |
|---|---|---|---|---|---|---|
V | V | V | F | F | F | V |
V | V | F | F | F | F | F |
V | F | V | F | V | F | V |
V | F | F | F | V | F | F |
F | V | V | V | F | F | V |
F | V | F | V | F | F | F |
F | F | V | V | V | V | V |
F | F | F | V | V | V | F |