Ответы на вопрос:
решение :
«переводим» условие на язык логики ; -)
1. определяемся с системой обозначений для логических высказываний:
а – алёша попович;
м – микула селянинович;
д – добрыня никитич.
илья муромец первым перед царём-батюшкой слово держал, но про него никто ничего не сказал : -)
«это всё алёша попович, царь-батюшка» – это алёша попович«то был микула селянинович» – это микуласелянинович«не прав алёша, не я то» – это не микула селянинович«и не я, царь-батюшка» – это не добрыня никитич
сведём выше сказанное в единое целое (логическая связка «и»):

учитывая слова бабы-яги:
«а прав-то лишь один из богатырей, видела я всю битву своими глазами»:
правду сказал илья муромецправду сказал алёша поповичправду сказал микула селяниновичправду сказал добрыня никитич
лирическое отступление ; -) логики
∧ – знак логического умножения (конъюнкция) – соединение высказываний с союза «и» (and). x∧y; x& y; x·y или xy. где: « ∧ », « & », « · » – знаки, обозначающие операцию логического умножения. все варианты записи равнозначны. в решении нашей для облегчения восприятия итоговой формулы я использую вариант записи логического умножения «xy».
∨ – знак логического сложения (дизъюнкция) – соединение высказываний с союза «или» (or). x∨y; x + y. где: « ∨ », « + » – знаки, обозначающие операцию логического сложения. оба варианта записи равнозначны. в решении нашей я использую вариант записи логического сложения «x + y».
некоторые операции и законы логики, необходимые для решения нашей :
закон двойного отрицания:

закон идемпотентности для конъюнкции:

операции с переменной и её инверсией:

2. конструируем итоговую логическую формулу, описывающую логические связи между всеми высказываниями условия . по условию нашей прав только один из богатырей (логическая связка «или»):

3. определяем значения истинности логической формулы. формулу. используем операции и законы логики и учитываем, что по условию нашей : а ∧ м = 0; а ∧ д = 0; м ∧ д = 0

ответ: змея горыныча победил добрыня никитич!
Популярно: Информатика
-
Камишок716.08.2022 17:21
-
alinapal03.12.2021 16:19
-
azamaaaaa26.02.2021 08:50
-
Anastasia931110.09.2020 16:21
-
kattun19.12.2020 01:07
-
max7878986715.09.2021 00:44
-
ikasatkina200813.08.2021 21:52
-
tanysha2918.06.2022 20:19
-
0HIMiK007.11.2022 21:56
-
8910930183926.01.2020 10:34