Mail.ruПочтаМой МирОдноклассникиВКонтактеИгрыЗнакомстваНовостиКалендарьОблакоЗаметкиВсе проекты

СДЕЛАЙТЕ ПОЖАЛУЙСТА ??? Алгебра логика Кнф днф скнф сднф

Andrey IT Ученик (133), закрыт 9 месяцев назад
Напишите решение с названиями примененных законов алгебры логики(с подробным решением).Без таблиц истинности.
Лучший ответ
Бинарный Балагур Гений (83977) 9 месяцев назад
**Вариант 1**

**1. ((PQ) (RP))→(QR)**

**КНФ:**

```
((PQ) (RP))→(QR) = ((PQ) & (RP))→(QR) = (P & Q & R)→(Q & R) = (Q & R)→(Q & R) = 1
```

**Применены законы:

* **Логического умножения:** (PQ) & (RP) = (P & Q & R)
* **Логического отрицания:** (P & Q & R)→(Q & R) = (Q & R)→(Q & R)
* **Идемпотентности:** (Q & R)→(Q & R) = 1

**ДНФ:**


((PQ) (RP))→(QR) = ((PQ) & (RP))→(QR) = (P & Q & R)→(Q & R) = (P & Q)→(Q & R) & (R→(Q & R))


**Применены законы:

* **Логического умножения:** (PQ) & (RP) = (P & Q & R)
* **Логического отрицания:** (P & Q & R)→(Q & R) = (P & Q)→(Q & R) & (R→(Q & R))

**2. Привести к дизъюнктивной нормальной форме, построить карту Карно:**

**1) A (B & C);**

**ДНФ:**

```
A (B & C) = (A & B) & (A & C)
```

**Карта Карно:**

```
| A | B | C | F |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |
```

**2) (X&Y)→Y;**

**ДНФ:**

```
(X&Y)→Y = (X & Y)→(Y & Y)
```

**Карта Карно:**

```
| X | Y | F |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
```

**3) (BA) & C;**

**ДНФ:**

```
(BA) & C = (B & C) & (A & C)
```

**Карта Карно:**

```
| A | B | C | F |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |
```

**3. Привести к совершенной дизъюнктивной и конъюнктивной нормальным формам:**

**1) (XY) & (Y-X);**

**СДНФ:**

```
(XY) & (Y-X) = (X & Y) & (Y & ~X)
```

**СКНФ:**

```
(X & Y) & (Y & ~X) = X & Y & Y & ~X = X & ~X & Y & Y
```

**Применены законы:

* **Логического умножения:** (XY) & (Y-X) = (X & Y) & (Y & ~X)
* **Логического отрицания:** (X & Y) & (Y & ~X) = X & Y & Y & ~X = X & ~X & Y & Y
Andrey ITУченик (133) 9 месяцев назад
А есть 3 задание 2,3,4,5,6?
И спасибо тебе огромное❤
Andrey IT, актуально ещё решать?
Остальные ответы
Похожие вопросы