If p is true, and q is false, then `~| (p vv ~| q)` is

Answer

To solve the expression `~| (p vv ~| q)` given that \( p \) is true and \( q \) is false, we can follow these steps:

### Step 1: Identify the values of \( p \) and \( q \)
We know:
- \( p = \text{True} \)
- \( q = \text{False} \)

### Step 2: Find the negation of \( q \)
The negation of \( q \) (denoted as \( \sim q \)) is:
\[ \sim q = \sim \text{False} = \text{True} \]

### Step 3: Substitute the values into the expression
Now we substitute the values of \( p \) and \( \sim q \) into the expression:
\[ p \vee \sim q = \text{True} \vee \text{True} \]

### Step 4: Evaluate the disjunction
The disjunction \( p \vee \sim q \) evaluates to:
\[ \text{True} \vee \text{True} = \text{True} \]

### Step 5: Find the negation of the result
Now we need to find the negation of the result:
\[ \sim (p \vee \sim q) = \sim \text{True} = \text{False} \]

### Final Answer
Thus, the value of the expression `~| (p vv ~| q)` is:
\[ \text{False} \]

---