1. Главная
  2. Библиотека
  3. Информатика
  4. Для следующих формул выяснить, будет ли какая-либо формула логическим следствием другой:

Для следующих формул выяснить, будет ли какая-либо формула логическим следствием другой:

«Для следующих формул выяснить, будет ли какая-либо формула логическим следствием другой:»
  • Информатика

Условие:

Для следующих формул выяснить, будет ли какая-либо формула логическим следствием другой:

2) P ⇒ (Q∧R), (P∧Q) ⇒ R

Решение:

Данные формулы имеют следующие истинностные таблицы:

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет