Question

84. Проведите доказательство логических законов общей ин- версии с помощью таблиц истинности:​

Answer 1

Ответ:

а где таблица ,нужно де таблицу показать ?)))

Answer 2

Для доказательства логических законов общей инверсии с помощью таблиц истинности, нам нужно рассмотреть две логические формулы: одну исходную и одну, которая получается путем инверсии всех логических переменных в исходной формуле. Затем мы сравним значения истинности обеих формул для всех возможных комбинаций значений логических переменных. Если обе формулы дают одинаковые результаты для всех комбинаций, то это будет доказательством логического закона общей инверсии.

Предположим, что у нас есть исходная логическая формула P, состоящая из логических переменных A, B, C, и так далее. Формула инверсии будет иметь вид P', где каждая переменная A, B, C и так далее будет инвертирована (т.е., если A = истина, то A' = ложь, и наоборот).

Пример: Пусть исходная формула P = A AND B, а формула инверсии P' = NOT A AND NOT B.

Теперь мы создаем таблицу истинности, где мы рассматриваем все возможные комбинации значений логических переменных A и B и вычисляем их значения для формул P и P'.

A	B	P	P'
0	0	0	1
0	1	0	0
1	0	0	0
1	1	1	0

Как видно из таблицы, значения истинности формул P и P' различаются для некоторых комбинаций значений логических переменных. Это означает, что логический закон общей инверсии не выполняется для данной формулы.

Для доказательства логического закона общей инверсии, необходимо показать, что значения истинности формулы P и P' совпадают для всех возможных комбинаций значений логических переменных.