Определить, какому столбцу таблицы истинности соответствует каждая из переменных

@Nyusha5353 · Регистрация: 05.09.2020

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

Pascal
1
2
3
4
5
6
7
8
9
10
program name;
var
x, y, z, w: integer;
for x:=0 to 1 do
for y:=0 to 1 do
for z:=0 to 1 do
for w:=0 to 1 do 
if (формула)[LATEX]((x and \bar{y})V(y\leftrightarrow z)Vw)=1[/LATEX] then
writeln (w,'',x,'',y,'',z);
end.

Когда я преобразую формулу, то программа выдает ошибку, что после then должна быть скобка.

@Nyusha5353 · 05.09.2020, 21:22 **[ТС]**

Я не видела, что фотографии запрещены. Просто другой модератор сам прикрепил условие с фото.

@Cyborg Drone · 05.09.2020, 22:17

Не по теме:

Nyusha5353, извините, но при регистрации на форуме Вам предлагалось ознакомиться с правилами форума. Ссылка на эти правила есть в шапке любой страницы этого форума. Можете с ними не знакомиться, никто не принуждает. Но выполнять эти правила Вы обязаны (обязаны-обязаны, не спорьте, Вы сами лично при регистрации обязались эти правила выполнять, без этого регистрация невозможна). Вот такой юридический казус.

И ещё. Это очень невежливо, вынуждать тех, кто желает Вам помочь, перепечатывать текст, с Ваших картинок. Например, текст Вашей программы, просто для того, чтобы её проверить. Или просто текст Вашего задания, для того, чтобы его процитировать. Так что, пожалуйста, если неоткуда скопировать текст - печатайте текст вручную.

Не все модераторы такие же дотошные, как я. Многим лень (или некогда) превращать Ваши картинки в текст. Скажите спасибо, что Вашу ссылку не удалили, ещё и контент перенесли на форум. Вообще, ссылки удаляются, а фотографии текста - блокируются.

Добавлено через 32 минуты
По существу темы.

ProMix0, функции бывают не только паскалевские, но и, например, логические. В задании имеется ввиду логическая функция

$https://www.cyberforum.ru/cgi-bin/latex.cgi?<br /> F=(x\wedge \neg y)\vee (y\equiv z)\vee w<br />$

На правах почётного Капитана Очевидность, поясняю: Nyusha5353, ProMix0, нужно по частично определённой таблице истинности, в которой вместо имён переменных указаны ???, нужно определить последовательность замены этих самых ??? конкретными именами переменных. Нужно комбинацию подбирать, а Вы четырьмя никчемными циклами балуетесь.

@Nyusha5353 · 05.09.2020, 22:23 **[ТС]**

Нужно построить просто таблицу истинности для логического выражения. А дальше уже по этой таблице можно определить и где какая переменная именно в задаче. С выражением у меня и проблема, так как пишется постоянно одна и та же ошибка про скобки пред или после then

@Cyborg Drone · 05.09.2020, 22:26

Так, для затравки.

Очевидно, что программа должна напечатать строку 'zxwy'.

@Nyusha5353 · 05.09.2020, 22:27 **[ТС]**

Да, все верно.

@Cyborg Drone · 05.09.2020, 23:37

У Вас в ошибках английским по белому написано: "Error: Incompatible type: got "Boolean" expeted "Longint"". То есть, Вам написали, что типы Boolean и Longint (он же Integer) несовместимы. Ну так, и используйте boolean как boolean, а integer как integer.

Ваша программа для типа boolean:

Pascal
1
2
3
4
5
6
7
8
9
10
11
12
var
  x, y, z, w: boolean;
begin
  writeln('xyzw');
  for x := false to true do
    for y := false to true do
      for z := false to true do
        for w := false to true do
          if not(x and not y or (y = z) or w) then
            writeln(ord(x), ord(y), ord(z), ord(w));
  readln
end.

Один из вариантов для типа integer:

Pascal
1
2
3
4
5
6
7
8
9
10
11
12
var
  x, y, z, w: integer;
begin
  writeln('xyzw');
  for x := 0 to 1 do
    for y := 0 to 1 do
      for z := 0 to 1 do
        for w := 0 to 1 do
          if x and (y xor 1) or ord(y = z) or w = 0 then
            writeln(x, y, z, w);
  readln
end.

Добавлено через 16 минут
Программа выдаёт три строки, осталось только столбцы поменять, чтобы получилось так, как по заданию. На самом деле, это случайность, поскольку нигде в задании не написано, что только на этих строках функция равна 0. Строк могло быть и больше. Повезло, короче.

Я правильно понимаю, что программа не соответствует заданию, поскольку должна рассчитывать не какую-то там, пусть даже очень полезную, таблицу истинности, а просто последовательность из четырёх буковок, причём без Вашего участия?

@Nyusha5353 · 06.09.2020, 00:11 **[ТС]**

Задания все одинаковы, но выражения и таблица, в зависимости от задания, меняется. Вообще, данная программа предназначена для вывода только тех строк, которые удовлетворяют условию истина или ложь. Такие задания сейчас на ЕГЭ по информатике, а он, в этом учебном году, проводится на компьютерах. Единственное, что беспокоит, что следования, как логической операции нет в Паскале, остальное описать есть возможность. С двумя следованиями, в логическом выражении, совсем не та таблица истинности выводится, буду пробовать решить. Скорее всего опять где-то проблема с описанием самой функции. Огромное спасибо, что помогли

@Cyborg Drone · 06.09.2020, 01:48

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

следования, как логической операции нет в Паскале

Это Вы про импликацию? Отчего же нет? Заблуждаетесь.

Пусть A и B - логические переменные или логические выражения. Вот Вам табличка на память:

	В алгебре логики	Паскаль, boolean	Паскаль, integer 0/1
Отрицание	$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A},\ \neg A$	not a, not(a)	a xor 1, 1 - a
Конъюнкция	$https://www.cyberforum.ru/cgi-bin/latex.cgi?A \wedge B$	a and b	a and b, a * b
Дизъюнкция	$https://www.cyberforum.ru/cgi-bin/latex.cgi?A \vee B$	a or b	a or b
Эквиваленция (эквивалентность, равенство)	$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\leftrightarrow B,\ A\equiv B$	a = b, not(a xor b)	ord(a = b)
Несоответствие ("исключающее ИЛИ", неравенство)	$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\oplus B$	a xor b, a <> b	a xor b, ord(a <> b)
Импликация (прямая импликация, следование)	$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\rightarrow B$	a <= b, not a or b	ord(a <= b)
Обратная импликация	$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\leftarrow B$	a >= b, a or not b	ord(a >= b)
Отрицание прямой импликации	$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A\rightarrow B},\ \neg (A\rightarrow B)$	a > b	ord(a> b)
Отрицание обратной импликации	$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A\leftarrow B},\ \neg (A\leftarrow B)$	a < b	ord(a < b)
Штрих Шеффера	$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\,\mid \,B$	not(a and b)	1 - (a and b)
Стрелка Пирса	$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\downarrow B$	not(a or b)	1 - (a or b)

Через запятую указаны эквивалентные написания.

Сравнение логических значений с помощью операторов <, >, <=, >=, =, <> не работает в Pascal ABC, поскольку в нём тип boolean порядковым не является.

Если не всё упомянул, пишите в этой теме, дополню табличку.

Добавлено через 11 минут
Да, и для которого выражения не та таблица истинности у Вас выводится?

@ProMix0 · 06.09.2020, 08:51

Nyusha5353, а почему все переменные имеют тип integer, а не boolean?

@Nyusha5353 · 06.09.2020, 08:54 **[ТС]**

Можно писать как integer можно как boolean.Эту задачу можно решить с любым из типов, главное правильно описать функцию. Спасибо за помощь, мне уже объяснили и помогли. У меня были проблемы именно с тем, как описать логическую функцию правильно.

@ProMix0 · 06.09.2020, 08:59

Мда, потерял вторую страницу текста

Добавлено через 1 минуту

Сообщение от Cyborg Drone

а Вы четырьмя никчемными циклами балуетесь

Да я про задание как-то забыл, пытался имеющийся код в рабочее состояние привести

@Cyborg Drone · 06.09.2020, 09:33

Судя по всему, это и надо было сделать.

@ProMix0 · 06.09.2020, 09:53

Cyborg Drone, наверное да.

@Nyusha5353 · 06.09.2020, 11:00 **[ТС]**

Спасибо всем за помощь. Все задачи теперь решаются и за таблицу отдельное спасибо, так как, наверное, её мне и не хватало.

Новые блоги и статьи Все статьи Все блоги /
GitHub Copilot в JetBrains: модель по умолчанию, Fix и контроль MCP and_y87 12.10.2026 10 октября 2026 года GitHub обновил Copilot для JetBrains: добавил настройки стартовой модели, исправления из диагностики и управление автозапуском MCP. Поддержка IDE 2025. 1 прекращена — требуется. . .	День 5 из 28: Codex подсказывает следующий запрос and_y87 12.10.2026 9 октября 2026 года OpenAI запустила бету Composer predictions — подсказок следующего сообщения в текущем диалоге Codex. Это помощь с формулировкой запроса, а не автоматическое продолжение задачи. . . .	Запустил конкурс "тем и промптов для текстовых квестов созданных почти чисто ИИ" Adler 06.10.2026 Всем привет! За последние три-четыре дня я создал более 16 текстовых квестовых игр используя преимущественно по одному запросу к ИИ на игру. Мне так понравилось смотреть все ветки/ сцены во всех. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .
Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .

Определить, какому столбцу таблицы истинности соответствует каждая из переменных

Решение

Решение

Решение

@Nyusha5353 0 / 0 / 0 Регистрация: 05.09.2020 Сообщений: 23
	05.09.2020, 21:22 [ТС]
	Я не видела, что фотографии запрещены. Просто другой модератор сам прикрепил условие с фото. 0

@Cyborg Drone Модератор 10478 / 5772 / 3413 Регистрация: 17.08.2012 Сообщений: 17,536
	05.09.2020, 22:17
	Не по теме: Nyusha5353, извините, но при регистрации на форуме Вам предлагалось ознакомиться с правилами форума. Ссылка на эти правила есть в шапке любой страницы этого форума. Можете с ними не знакомиться, никто не принуждает. Но выполнять эти правила Вы обязаны (обязаны-обязаны, не спорьте, Вы сами лично при регистрации обязались эти правила выполнять, без этого регистрация невозможна). Вот такой юридический казус. И ещё. Это очень невежливо, вынуждать тех, кто желает Вам помочь, перепечатывать текст, с Ваших картинок. Например, текст Вашей программы, просто для того, чтобы её проверить. Или просто текст Вашего задания, для того, чтобы его процитировать. Так что, пожалуйста, если неоткуда скопировать текст - печатайте текст вручную. Не все модераторы такие же дотошные, как я. Многим лень (или некогда) превращать Ваши картинки в текст. Скажите спасибо, что Вашу ссылку не удалили, ещё и контент перенесли на форум. Вообще, ссылки удаляются, а фотографии текста - блокируются. Добавлено через 32 минуты По существу темы. ProMix0, функции бывают не только паскалевские, но и, например, логические. В задании имеется ввиду логическая функция $https://www.cyberforum.ru/cgi-bin/latex.cgi?<br /> F=(x\wedge \neg y)\vee (y\equiv z)\vee w<br />$ На правах почётного Капитана Очевидность, поясняю: Nyusha5353, ProMix0, нужно по частично определённой таблице истинности, в которой вместо имён переменных указаны ???, нужно определить последовательность замены этих самых ??? конкретными именами переменных. Нужно комбинацию подбирать, а Вы четырьмя никчемными циклами балуетесь. 0

@Nyusha5353 0 / 0 / 0 Регистрация: 05.09.2020 Сообщений: 23
	05.09.2020, 22:23 [ТС]
	Нужно построить просто таблицу истинности для логического выражения. А дальше уже по этой таблице можно определить и где какая переменная именно в задаче. С выражением у меня и проблема, так как пишется постоянно одна и та же ошибка про скобки пред или после then 0

@Cyborg Drone Модератор 10478 / 5772 / 3413 Регистрация: 17.08.2012 Сообщений: 17,536
	05.09.2020, 22:26
	Так, для затравки. Очевидно, что программа должна напечатать строку 'zxwy'. 1

@Nyusha5353 0 / 0 / 0 Регистрация: 05.09.2020 Сообщений: 23
	05.09.2020, 22:27 [ТС]
	Да, все верно. 0

@Nyusha5353 0 / 0 / 0 Регистрация: 05.09.2020 Сообщений: 23
	06.09.2020, 00:11 [ТС]
	Задания все одинаковы, но выражения и таблица, в зависимости от задания, меняется. Вообще, данная программа предназначена для вывода только тех строк, которые удовлетворяют условию истина или ложь. Такие задания сейчас на ЕГЭ по информатике, а он, в этом учебном году, проводится на компьютерах. Единственное, что беспокоит, что следования, как логической операции нет в Паскале, остальное описать есть возможность. С двумя следованиями, в логическом выражении, совсем не та таблица истинности выводится, буду пробовать решить. Скорее всего опять где-то проблема с описанием самой функции. Огромное спасибо, что помогли 0

@ProMix0 80 / 33 / 10 Регистрация: 14.06.2019 Сообщений: 516
	06.09.2020, 08:51
	Nyusha5353, а почему все переменные имеют тип integer, а не boolean? 0

@Nyusha5353 0 / 0 / 0 Регистрация: 05.09.2020 Сообщений: 23
	06.09.2020, 08:54 [ТС]
	Можно писать как integer можно как boolean.Эту задачу можно решить с любым из типов, главное правильно описать функцию. Спасибо за помощь, мне уже объяснили и помогли. У меня были проблемы именно с тем, как описать логическую функцию правильно. 0

@Cyborg Drone Модератор 10478 / 5772 / 3413 Регистрация: 17.08.2012 Сообщений: 17,536
	06.09.2020, 09:33
	Сообщение было отмечено Nyusha5353 как решение Решение Судя по всему, это и надо было сделать. 0

@ProMix0 80 / 33 / 10 Регистрация: 14.06.2019 Сообщений: 516
	06.09.2020, 09:53
	Cyborg Drone, наверное да. 0

@Nyusha5353 0 / 0 / 0 Регистрация: 05.09.2020 Сообщений: 23
	06.09.2020, 11:00 [ТС]
	Спасибо всем за помощь. Все задачи теперь решаются и за таблицу отдельное спасибо, так как, наверное, её мне и не хватало. 0