Функция twoTrue :: Bool -> Bool -> Bool -> Bool

16.06.2014, 20:28. **Показов** 1578. **Ответов** 8

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

Функция twoTrue :: Bool -> Bool -> Bool -> Bool, которая возвращает True тогда и только тогда, когда хотя бы два из трех её аргументов равны True. Не использовать при определении функции стандартные логические операции (&& и ||).

@Curry · 16.06.2014, 21:36

Haskell
1
2
3
4
5
twoTrue :: Bool -> Bool -> Bool -> Bool
twoTrue True True _    = True
twoTrue True _    True = True
twoTrue _    True True = True
twoTrue _    _    _    = False

@Mysterious Light · 16.06.2014, 21:48

Haskell
1
2
3
4
twoTrue x y z = b x + b y + b z > 1
  where
    b True  = 1
    b False = 0

@Catstail · 16.06.2014, 22:07

Та же идея:

Haskell
1
2
funct :: Bool -> Bool -> Bool -> Bool
funct x y z = ( > 1) . sum $ map (\ v -> if v then 1 else 0) [x,y,z]

@Curry · 16.06.2014, 22:48

Тогда, с той же идеей, короче

Haskell
1
2
twoTrue :: Bool -> Bool -> Bool -> Bool
twoTrue a b c = (sum [1| x <- [a,b,c], x]) > 1

@soon · 17.06.2014, 06:18

Еще один вариант с fromEnum

Haskell
1
Prelude> let twoTrue a b c = (sum $ map fromEnum [a, b, c]) > 1

@korvin_ · 17.06.2014, 07:39

Haskell
1
twoTrue a b c = a && b || b && c || c && a

@Araneo · 17.06.2014, 09:36

Тогда уж так... тут хотя бы стандартные "и" "или" спрятанны.

Haskell
1
twoTrue a b c = any (all id) [[a,b],[a,c],[b,c]]

@Curry · 17.06.2014, 16:04

Ещё одно решение "в лоб", без списков

Haskell
1
2
3
4
import Foreign.Marshal.Utils
 
twoTrue :: Bool -> Bool -> Bool -> Bool
twoTrue a b c = ((fromBool a)+(fromBool b)+(fromBool c))>1

И самое короткое, но с sort

Haskell
1
2
3
4
import Data.List
 
twoTrue :: Bool -> Bool -> Bool -> Bool
twoTrue a b c = sort [a,b,c] !! 1

Новые блоги и статьи Все статьи Все блоги /
Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .
Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .

smaksmak

	Функция twoTrue :: Bool -> Bool -> Bool -> Bool 16.06.2014, 20:28. Показов 1578. Ответов 8 Метки нет (Все метки) Функция twoTrue :: Bool -> Bool -> Bool -> Bool, которая возвращает True тогда и только тогда, когда хотя бы два из трех её аргументов равны True. Не использовать при определении функции стандартные логические операции (&& и \|\|).