4) Сделать таблицу истинности выражения (-AV-BAC)^B

Необходимо составить таблицу истинности для выражения (¬A ∨ ¬B ∧ C) ∧ B.

<table border="1">
<thead>
<tr><th>A</th><th>B</th><th>C</th><th>¬A</th><th>¬B</th><th>¬B ∧ C</th><th>¬A ∨ (¬B ∧ C)</th><th>(¬A ∨ ¬B ∧ C) ∧ B</th></tr>
</thead>
<tbody>
<tr><td>0</td><td>0</td><td>0</td><td>1</td><td>1</td><td>0</td><td>1</td><td>0</td></tr>
<tr><td>0</td><td>0</td><td>1</td><td>1</td><td>1</td><td>1</td><td>1</td><td>0</td></tr>
<tr><td>0</td><td>1</td><td>0</td><td>1</td><td>0</td><td>0</td><td>1</td><td>1</td></tr>
<tr><td>0</td><td>1</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>0</td><td>0</td><td>0</td><td>1</td><td>0</td><td>0</td><td>0</td></tr>
<tr><td>1</td><td>0</td><td>1</td><td>0</td><td>1</td><td>1</td><td>1</td><td>0</td></tr>
<tr><td>1</td><td>1</td><td>0</td><td>0</td><td>0</td><td>0</td><td>0</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>0</td><td>0</td></tr>
</tbody>
</table>

Ответ: См. таблицу выше