Привести к дизъюнктивной нормальной форме. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по логике
Привести к дизъюнктивной нормальной форме

Привести к дизъюнктивной нормальной форме .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Привести к дизъюнктивной нормальной форме, построить Карту Карно: A→B&C; X&Y→¬Y; B→¬A&C; A↔B&C; P→Q→P; ¬A→B↔C.

Решение

Потяни, чтобы посмотреть

A→B&C≡¬A∨B&C — ДНФ;
2) X&Y→¬Y≡¬X&Y∨¬Y≡¬X∨¬Y∨¬Y≡¬X∨¬Y — ДНФ;
3) B→¬A&C≡¬B∨¬A&C≡¬B&C∨¬A&C — ДНФ;
4) A↔B&C≡A&B∨¬A&¬B&C≡A&B&C∨¬A&¬B&C — ДНФ (даже СДНФ);
5) P→Q→P≡¬¬P∨Q∨P≡P&¬Q∨P≡P — ДНФ;
6) ¬A→B↔C≡A∨B&C∨¬B&¬C — ДНФ;

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу