(1)(pVq)∧“(p∧q) ←-(p↔q)(2)q一(p→r)一(pΛq)→r

这是两个命题逻辑公式。以下是它们的翻译和证明：

1. (p ∧ q) → (p ∧ q) ∧ ¬(p ↔ q)

翻译：如果 p 和 q 都为真，则 (p ∧ q) 为真，但是 (p ↔ q) 为真当且仅当 p 和 q 同时为真或同时为假。因此，当 p 和 q 同时为真时，(p ∧ q) ∧ ¬(p ↔ q) 为真，即当 p 和 q 不完全相等时为真。

证明：

| p | q | p ∧ q | p ↔ q | ¬(p ↔ q) | (p ∧ q) ∧ ¬(p ↔ q) |
|:-:|:-:|:-----:|:-----:|:--------:|:----------------:|
| T | T | T | T | F | F |
| T | F | F | F | T | F |
| F | T | F | F | T | F |
| F | F | F | T | T | F |

因此，公式成立。

2. q → (p → r) ∧ (p ∧ q) → r

翻译：如果 q 为真，则 (p → r) 为真，且当 p 和 q 都为真时，r 也为真。

证明：

| p | q | r | p → r | p ∧ q | (p → r) ∧ (p ∧ q) | (p → r) ∧ (p ∧ q) → r |
|:-:|:-:|:-:|:-----:|:-----:|:----------------:|:---------------------:|
| T | T | T | T | T | T | T |
| T | T | F | F | T | F | T |
| T | F | T | T | F | F | T |
| T | F | F | F | F | F | T |
| F | T | T | T | F | F | T |
| F | T | F | T | F | F | T |
| F | F | T | T | F | F | T |
| F | F | F | T | F | F | T |

因此，公式成立。