Логическая функция

@neochen · Регистрация: 18.10.2017

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

Добрый день! Помогите решить задачу : "Однажды следователю пришлось допрашивать одновременно трех свидетелей: A, B и С.
Их показания противоречили друг другу и каждый их них обвинял кого-нибудь во лжи:

А утверждал, что В лжет.
В обвинял во лжи С,
С уговаривал следователя не верить ни А, ни В.

Но следователь быстро вывел их на чистую воду, не задав им ни одного вопроса.
Кто из свидетелей говорил правду?"

Правильное решение сводится к выражению !А и В и !С =1, из которого следует, что А = 0, В = 1, С = 0. Таким образом, В
говорил правду, а показания А и С лживы.

Не могу понять как это перенести в код

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.Linq;
using System.Text;
using System.Windows.Forms;
 
namespace WindowsFormsApplication1
{
    public partial class Form1 : Form
    {
        public Form1()
        {
            InitializeComponent();
        }
 
        private void button1_Click(object sender, EventArgs e)
        {
            {
                int A, B, C; // свидетели A, B, C
                int pravda; // правда
                int x1; // верное высказывание
                int y1, y2, y3; // неверные высказывания
                int f; // целевая функция
                String s; // результат решения задачи
                s = "";
                // все целые переменные могут принимать значения только 0 или 1
                for (A = 0; A <= 1; A++)
                {
                    for (B = 0; B <= 1; B++)
                    {
                        for (C = 0; C <= 1; C++)
                        {
                            for (pravda = 0; pravda <= 1; pravda++)
                            {
                             /*             x1 = Convert.ToInt32(!(Convert.ToBoolean((A & pravda))) & (B & pravda) & !Convert.ToBoolean(C & pravda));
 
                                y1 = Convert.ToInt32(!(Convert.ToBoolean((A & pravda) & (B & pravda))));
                                y2 = Convert.ToInt32(!(Convert.ToBoolean(A & pravda) & !Convert.ToBoolean(C & pravda)));
                                y3 = Convert.ToInt32(!Convert.ToBoolean(!Convert.ToBoolean(A & pravda) & !Convert.ToBoolean(B & pravda) & !Convert.ToBoolean(C & pravda)));
 
                                // Целевая функция:
                                f = x1 & y1 & y2 & y3;
                                if (f == 1)
                                {
                                    if ((A & B) == 1) s = "Свидетели А и В";
                                    if ((B & C) == 1) s = "Свидетели В и С";
                                    if ((A & C) == 1) s = "Свидетели А и С";
                                    if ((A & B & C) == 1) s = "Свидетели А, B и С";
                                    if (A == 1) s = "Свидетель А";
                                    if (B == 1) s = "Свидетель В";
                                    if (C == 1) s = "Свидетель C";
                                    if (pravda == 1) s = s + " говорил(и) правду";      */
 
                                }
                        }
                    }
                }
                textBox2.Text = s;
            }
        }
    }
}

@Holiday13 · 09.11.2019, 13:56

A==!B && C==!(A || B) вроде так

@neochen · 09.11.2019, 20:00 **[ТС]**

Не понял, куда я должен это вставить?

@Holiday13 · 10.11.2019, 11:37

Сообщение от neochen

Не понял, куда я должен это вставить?

видимо после for (C = 0; C <= 1; C++)

C#
1
if(A==!B && C==!(A || B))//вывести АВС

Новые блоги и статьи Все статьи Все блоги /
Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .	модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI
Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .

@Holiday13 Заблокирован
	09.11.2019, 13:56
	A==!B && C==!(A \|\| B) вроде так 0

@neochen 0 / 0 / 0 Регистрация: 18.10.2017 Сообщений: 33
	09.11.2019, 20:00 [ТС]
	Не понял, куда я должен это вставить? 0