7 Заполните таблицу истинности выражения (Av-B-C) AC

Выражение: (A ∨ ¬B ∧ ¬C) ∧ C

Заполним таблицу истинности:

¬B: Отрицание B.

¬C: Отрицание C.

¬B ∧ ¬C: Конъюнкция (логическое И) ¬B и ¬C.

A ∨ (¬B ∧ ¬C): Дизъюнкция (логическое ИЛИ) A и (¬B ∧ ¬C).

(A ∨ ¬B ∧ ¬C) ∧ C: Конъюнкция результата предыдущего шага и C.

<table border="1">
<thead>
<tr>
<th>A</th><th>B</th><th>C</th><th>¬B</th><th>¬C</th><th>¬B ∧ ¬C</th><th>A ∨ (¬B ∧ ¬C)</th><th>(A ∨ ¬B ∧ ¬C) ∧ C</th>
</tr>
</thead>
<tbody>
<tr>
<td>0</td><td>0</td><td>0</td><td>1</td><td>1</td><td>1</td><td>1</td><td>0</td>
</tr>
<tr>
<td>0</td><td>0</td><td>1</td><td>1</td><td>0</td><td>0</td><td>0</td><td>0</td>
</tr>
<tr>
<td>0</td><td>1</td><td>0</td><td>0</td><td>1</td><td>0</td><td>0</td><td>0</td>
</tr>
<tr>
<td>0</td><td>1</td><td>1</td><td>0</td><td>0</td><td>0</td><td>0</td><td>0</td>
</tr>
<tr>
<td>1</td><td>0</td><td>0</td><td>1</td><td>1</td><td>1</td><td>1</td><td>0</td>
</tr>
<tr>
<td>1</td><td>0</td><td>1</td><td>1</td><td>0</td><td>0</td><td>1</td><td>1</td>
</tr>
<tr>
<td>1</td><td>1</td><td>0</td><td>0</td><td>1</td><td>0</td><td>1</td><td>0</td>
</tr>
<tr>
<td>1</td><td>1</td><td>1</td><td>0</td><td>0</td><td>0</td><td>1</td><td>1</td>
</tr>
</tbody>
</table>

Ответ:

<table border="1">
<thead>
<tr>
<th>A</th><th>B</th><th>C</th><th>(A ∨ ¬B ∧ ¬C) ∧ C</th>
</tr>
</thead>
<tbody>
<tr>
<td>0</td><td>0</td><td>0</td><td>0</td>
</tr>
<tr>
<td>0</td><td>0</td><td>1</td><td>0</td>
</tr>
<tr>
<td>0</td><td>1</td><td>0</td><td>0</td>
</tr>
<tr>
<td>0</td><td>1</td><td>1</td><td>0</td>
</tr>
<tr>
<td>1</td><td>0</td><td>0</td><td>0</td>
</tr>
<tr>
<td>1</td><td>0</td><td>1</td><td>1</td>
</tr>
<tr>
<td>1</td><td>1</td><td>0</td><td>0</td>
</tr>
<tr>
<td>1</td><td>1</td><td>1</td><td>1</td>
</tr>
</tbody>
</table>