Доказать путем перебора возможных значений, что данные пары логических выражений эквивалентны

@k4pral_levi · Регистрация: 27.05.2015

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

Доказать (путем перебора возможных значений), что для любых
величин А, В, С типа Boolean следующие пары логических выражений
имеют одинаковые значения (эквивалентны):
а) A OR в и в OR А;
б) A AND В И В AND A;
В) (A OR В) OR С И A OR С;
Г) (A AND В) AND С И A AND (В AND С) ;
Д) A AND (A OR В) И А;
е) A OR (A AND В) И А;
Ж) A AND (В OR.С) И (A AND В) OR (A AND С );
3) A OR (В AND С) И (A OR В) AND (A OR С) .

@BaktybekovK · 27.05.2015, 18:23

Начерти таблицу истинности для трёх переменных. Вычисли значения двух лог. функций. И если они равны, то чтд.

@k4pral_levi · 27.05.2015, 18:34 **[ТС]**

permalink, мне нужно написать код программы, а не подсказку дать....прости, не понимаю(

@k4pral_levi · 28.05.2015, 22:33 **[ТС]**

ауууу

@BaktybekovK · 29.05.2015, 17:35

Задания с а по з именовал
а - а
б - b
в - v
г - g
д - d..
Первая таблица для первых 4 выражений. Задание "а" состоит из а1 и а2 функций, б,в,г.. также из b1,b2..
Видишь, что a1 и a2 одинаковы, значит в задании а правое выражение эквивалентно левому.

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
#include <iostream>
using namespace std;
int main()
{
    bool a,b,c;
    int i;
    bool arr[8];
    cout<<"Zadaniya s 'a' po 'g'\n";
    cout<<"_____________________________________________________\n"
        <<"| A | B | C | a1 | a2 | b1 | b2 | v1 | v2 | g1 | g2 |\n"
        <<"|-----------|----|----|----|----|----|----|----|----| \n";
    for (i = 0; i < 8; i++)
    {
        a = i         & 0xF1;
        b = (i >> 1) & 0xF1;
        c = (i >> 2) & 0xF1;
        arr[0] = a || b;
        arr[1] = b || a;
        arr[2] = a && b;
        arr[3] = b && a;
        arr[4] = (a || b) || c;
        arr[5] = a || (b || a);
        arr[6] = (a && b) && c ;
        arr[7] = a && (b && c) ;
        cout<<"| "<<a<<" | "<<b<<" | "<<c<<" |  "<<arr[0]<<" |  "
            <<arr[1]<<" |  "<<arr[2]<<" |  "<<arr[3]<<" |  "<<arr[4]
            <<" |  "<<arr[5]<<" |  "<<arr[6]<<" |  "<<arr[7]<<" |\n";
    }
    cout<<"|---------------------------------------------------|\n";
    cout<<"\n\n\n\n\n Zadaniya s 'd' po 'z''\n";
    cout<<"_____________________________________________________\n"
        <<"| A | B | C | d1 | d2 | e1 | e2 | j1 | j2 | z1 | z2 |\n"
        <<"|-----------|----|----|----|----|----|----|----|----| \n";
    for (i = 0; i < 8; i++)
    {
        a = i         & 0xF1;
        b = (i >> 1) & 0xF1;
        c = (i >> 2) & 0xF1;
        arr[0] = a && (a || b);
        arr[1] = a;
        arr[2] = a || (a && b);
        arr[3] = a;
        arr[4] = a && (b || c);
        arr[5] = (a && b) || (a && c);
        arr[6] = a || (b && c) ;
        arr[7] = (a || b) && (a || c);
        cout<<"| "<<a<<" | "<<b<<" | "<<c<<" |  "<<arr[0]<<" |  "
            <<arr[1]<<" |  "<<arr[2]<<" |  "<<arr[3]<<" |  "<<arr[4]
            <<" |  "<<arr[5]<<" |  "<<arr[6]<<" |  "<<arr[7]<<" |\n";
    }
    cout<<"|---------------------------------------------------|\n";
}

ValeryS · 29.05.2015, 17:42

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

типа Boolean

что сие за тип?

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

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

a = i * * * * & 0xF1;

что сиё???

Новые блоги и статьи Все статьи Все блоги /
Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	Киев стоит - украинская песня zorxor 28.01.2026 wfWdiRqdTxc О Господи, Вечный, Ты . . . Я помоги, Бесконечный. . . Я прошу Ты. . . Я погибаю, спаси. . . Я прошу Тебя Вечный. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL3_image 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .
влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .	Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .

@k4pral_levi 1 / 1 / 2 Регистрация: 27.05.2015 Сообщений: 47

	Доказать путем перебора возможных значений, что данные пары логических выражений эквивалентны 27.05.2015, 18:13. Показов 2974. Ответов 5 Метки нет (Все метки) Доказать (путем перебора возможных значений), что для любых величин А, В, С типа Boolean следующие пары логических выражений имеют одинаковые значения (эквивалентны): а) A OR в и в OR А; б) A AND В И В AND A; В) (A OR В) OR С И A OR С; Г) (A AND В) AND С И A AND (В AND С) ; Д) A AND (A OR В) И А; е) A OR (A AND В) И А; Ж) A AND (В OR.С) И (A AND В) OR (A AND С ); 3) A OR (В AND С) И (A OR В) AND (A OR С) . 0

@BaktybekovK 15 / 15 / 21 Регистрация: 18.04.2015 Сообщений: 73
	27.05.2015, 18:23
	Начерти таблицу истинности для трёх переменных. Вычисли значения двух лог. функций. И если они равны, то чтд. 0

@k4pral_levi 1 / 1 / 2 Регистрация: 27.05.2015 Сообщений: 47
	27.05.2015, 18:34 [ТС]
	permalink, мне нужно написать код программы, а не подсказку дать....прости, не понимаю( 0

@k4pral_levi 1 / 1 / 2 Регистрация: 27.05.2015 Сообщений: 47
	28.05.2015, 22:33 [ТС]
	ауууу 0