2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Логическое уравнение с цепочкой импликаций
Сообщение27.04.2018, 23:26 


16/10/14

667
Задано логическое уравнение $A\to B\to C\to D\to E\to F=1$
Надо найти сколько у него различных решений. По моей версии различных решений 63, если A=0 то неважно какими будут остальные переменные, это 32 варианта комбинаций из 5 оставшихся переменных. Если А=1, то вся остальная часть уравнения должна быть равна 1. Если B=0, то неважно какими будут остальные переменные, 16 вариантов комбинаций из 4 оставшихся переменных. Если B=1, то вся остальная часть уравнения должна быть равна 1. И так далее, в итоге уравнение может оказаться неравным 1 только если F=0. Однако в ответе указано только 43 различных решения

 Профиль  
                  
 
 Re: Логическое уравнение с цепочкой импликаций
Сообщение27.04.2018, 23:30 
Заслуженный участник
Аватара пользователя


16/07/14
9638
Цюрих
У меня есть подозрение что вы ставите скобки как $A \to (B \to (C \to (D \to (E \to F))))$, а в задачнике подразумевается $((((A \to B) \to C) \to D) \to E) \to F$.

 Профиль  
                  
 
 Re: Логическое уравнение с цепочкой импликаций
Сообщение28.04.2018, 00:40 


05/09/12
2587
Думаю, раз задачка в разделе программирования, от вас хотели что-то типа такого

Используется синтаксис Haskell
f 1 = 1
f i = f (i-1) + 2 * g (i-1)

g 1 = 1
g i = f (i-1)

main = print $ f 6

...........

43
 

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: worm2


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group