Using truth table prove that `~p ^^ q`
`-=(p vv q) ^^ ~p`

Explanation

To prove that \( \neg p \land q \) is equivalent to \( (p \lor q) \land \neg p \) using a truth table, we will follow these steps:

### Step 1: Create the Truth Table
We will create a truth table that includes all possible truth values for \( p \) and \( q \).

| p | q | \( \neg p \) | \( \neg p \land q \) | \( p \lor q \) | \( (p \lor q) \land \neg p \) |
|---|---|--------------|-----------------------|----------------|-------------------------------|
| T | T | F | F | T | F |
...