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
8463
Цюрих
У меня есть подозрение что вы ставите скобки как $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, Супермодераторы



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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