Даю70баллов, хэлп!!!Обьясните, пожалуйста, кто нибудь, как решать такие задачки!!?

Даю70баллов, хэлп!!!

Обьясните, пожалуйста, кто нибудь, как решать такие задачки!!?

Задать свой вопрос
1 ответ

Сходственные задачки комфортно решать, перейдя от практически непонятной начинающим алгебры логики к самой обыкновенной алгебре. Необходимо тольео немножко "подправить" привычные алгебраические законы.

Значение "Неправильно" - это 0. Значение "Подлинно" - это не ноль. К примеру, 1.

Тогда необходимо подправить только одно верховодило: 1 + х = 1. Вправду, такая сумма всегда не меньше 1, т.е. она не 0, означает, она 1.

В обычной алгебре нет операций , ,  отрицания (надчеркивание), и импликации (). Операцию ("И") мы будем заменять умножением, операцию ("Либо") - сложением, отрицание (инверсия) - это подмена 1 на 0 и 0 на 1. Импликацию заменим равносильным преображеньем.

Пример а)

(Д\L\to M)\land N=(\overline L+M)\cdot N

Когда творенье одинаково 1? Когда оба сомножителя одинаковы 1. Как следует, N=1 и сумма в скобках также одинакова 1. Это вероятно при M=1 и любом L либо при L=0 (отрицание 0 даст 1) и любом М.

Получаем  тройки (L,M,N) = (0,0,1), (0,1,1), (1,1,1).

Пример б)

L((L\to M)\to (L\land N))=L((\overline L+M)\to LN)=L(\overline\overline L+M+LN)=\\L(L\overline M+LN)=LL(\overline M+N)=L(\overline M+N)

Полученное выражение анализируется подобно предыдущему образцу. Получаем тройки (L,M,N) = (1,0,0), (1,0,1),(1,1,1).

Пример в)

(L\lor M)\to(\overline L\land N)=(L+M)\to \overline LN=\overlineL+M+\overline LN=\\\overline L\cdot \overline M+\overline LN=\overline L(\overline M+N)

И опять полученное выражение подобно предыдущим образцам дает три тройки: (L,M,N) = (0,0,0), (0,0,1), (0,1,1)

Во вложении есть дополнительная информация, которая может посодействовать осознать тему.

Анна Дух
Под "б" перед скобкой не L, а знак отрицания
Amina Niskorodnova
Бывает, когда задание мелко дают. Заместо того, чтобы крупно показать формулы, приводят фото каких-то порожних клеток.
, оставишь ответ?
Имя:*
E-Mail:


Добро пожаловать!

Для того чтобы стать полноценным пользователем нашего портала, вам необходимо пройти регистрацию.
Зарегистрироваться
Создайте собственную учетную запить!

Пройти регистрацию
Авторизоваться
Уже зарегистрированны? А ну-ка живо авторизуйтесь!

Войти на сайт