Объяснить принцип резолюций

@D7ILeucoH · Регистрация: 29.02.2016

Студворк — интернет-сервис помощи студентам

Есть формула: (!XvA)^(XvB)=AvB
Что такое Х, А и В?

Добавлено через 9 часов 56 минут
Дизъюнкты?

@3D Homer · 22.01.2019, 21:32

Сообщение от D7ILeucoH

Есть формула: (!XvA)^(XvB)=AvB

В пропозициональной логике это не формула. Это утверждение, что две формулы эквивалентны.

Сообщение от D7ILeucoH

Что такое Х, А и В?

Это любые формулы, но в применении принципа резолюций X обычно обозначает литерал (пропозициональную переменную или ее отрицание), а A и B — дизъюнкции литералов.

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

@D7ILeucoH 22 / 20 / 5 Регистрация: 29.02.2016 Сообщений: 590

	Объяснить принцип резолюций 22.01.2019, 19:13. Показов 1140. Ответов 1 Метки нет (Все метки) Есть формула: (!XvA)^(XvB)=AvB Что такое Х, А и В? Добавлено через 9 часов 56 минут Дизъюнкты? 0