img img img img img img img img img img img img img img img img img img img img img img
Логотип Человек живет, пока думает.
Решайте задачи и живите долго!
Для участия в проекте необходимо
и достаточно зарегистрироваться!
Rss Регистрация || Вход
Вход
Diofant.ru
Картинка
Отражение Отражение Картинка Картинка
отражение
Лента событий: makar243 добавил комментарий к задаче "Целочисленные точки на эллипсах - 3" (Математика):
+ 5

Задача 390. Подсчет булевых функций

постоянный адрес задачи: http://www.diofant.ru/problem/1790/
показать код для вставки на свой сайт >>
Задачу решили: 7
всего попыток: 17
поделиться задачей:

Задача опубликована: 22.04.11 08:00
Прислал: admin img
Источник: Проект "Эйлер" (http://projecteuler.net)
Вес: 1
сложность: 1 img
баллы: 100
Темы: логикаimg

Булеву функцию с булевыми аргументами можно задать при помощи таблицы истинности. Ниже приведены таблицы истинности для трех функций с двумя аргументами: для конъюнкции (AND), для импликации (=>) и для строгой дизъюнкции (XOR).

x y x AND y
0 0 0
0 1 0
1 0 0
1 1 1
x y x x=>y y
0 0 1
0 1 1
1 0 0
1 1 1
x y x XOR y
0 0 0
0 1 1
1 0 1
1 1 0

Подсчитайте, сколько существует различных булевых функций с шестью аргументами τ(a, b, c, d, e, f), для которых выполняется условие
τ(a, b, c, d, e, f) AND τ(b, c, d, e, f, a XOR (b => c)) = 0
при  любых сочетаниях (a, b, c, d, e, f)?

 
Пожалуйста, не пишите нам, что Вы не можете решить задачу.
Если Вы не можете ее решить, значит Вы не можете ее решить :-)

Обсуждение Правила >>

Внимание! В обсуждении задачи запрещено публиковать ответы и давать подсказки.
 
Внимание! Если Вы увидите ошибку на нашем сайте, выделите её и нажмите Ctrl+Enter.