Пожаловаться
- 23.09.2017 19:06
- Информатика
- remove_red_eye 10136
- thumb_up 31
Ответы и объяснения 1
(¬x → ¬z) ˅ y → (x → y) → ¬x ˅ ¬z = (заменяем импликацию)
(¬¬x ˅ ¬z) ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (закон двойного отрицания)
x ˅ ¬z ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (заменяем импликацию)
¬(x ˅ ¬z ˅ y)˅(¬x ˅ y)→ ¬x ˅ ¬z = (закон де Моргана)
(¬x ˄ ¬¬z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (закон двойного отрицания)
(¬x ˄ z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (правило поглощения ¬x ˄ z ˄ ¬y ˅ ¬x = ¬x)
(¬x ˅ y)→ ¬x ˅ ¬z = (заменяем импликацию)
¬(¬x ˅ y)˅ ¬x ˅ ¬z = (закон де Моргана)
(¬¬x ˄ ¬y)˅ ¬x ˅ ¬z = (закон двойного отрицания)
(x ˄ ¬y)˅ ¬x ˅ ¬z = (распределительный закон)
(x˅ ¬x ˄ ¬y˅ ¬x)˅ ¬z = (исключение третьего)
¬x ˅ ¬y ˅ ¬z
(¬¬x ˅ ¬z) ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (закон двойного отрицания)
x ˅ ¬z ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (заменяем импликацию)
¬(x ˅ ¬z ˅ y)˅(¬x ˅ y)→ ¬x ˅ ¬z = (закон де Моргана)
(¬x ˄ ¬¬z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (закон двойного отрицания)
(¬x ˄ z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (правило поглощения ¬x ˄ z ˄ ¬y ˅ ¬x = ¬x)
(¬x ˅ y)→ ¬x ˅ ¬z = (заменяем импликацию)
¬(¬x ˅ y)˅ ¬x ˅ ¬z = (закон де Моргана)
(¬¬x ˄ ¬y)˅ ¬x ˅ ¬z = (закон двойного отрицания)
(x ˄ ¬y)˅ ¬x ˅ ¬z = (распределительный закон)
(x˅ ¬x ˄ ¬y˅ ¬x)˅ ¬z = (исключение третьего)
¬x ˅ ¬y ˅ ¬z
Пожаловаться
- 24.09.2017 08:40
- thumb_up 10
Знаете ответ? Поделитесь им!
Есть сомнения?
Не нашли подходящего ответа на вопрос или ответ отсутствует? Воспользуйтесь поиском по сайту, чтобы найти все ответы на похожие вопросы в разделе Информатика.
Трудности с домашними заданиями? Не стесняйтесь попросить о помощи - смело задавайте вопросы!
Информатика — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Новые вопросы
Интересные вопросы