Доказатьчто для любых величин А, В, С типа Boolean следующие пары логических выражений имеют одинаковые значения

@mrdi · Регистрация: 16.12.2012

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

Доказать (путем перебора возможных значений), что для любых величин А, В, С типа Boolean следующие пары логических выражений имеют одинаковые значения (эквивалентны):
а) A OR В и В OR A;
б) 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 С);
з) A OR (В AND С) и (A OR В) AND (A OR С).

@Sasha_Smirnov · 17.12.2012, 02:15

Не по теме:

Вот мозгодробилка-то! Доказать, что дважды два — четыре!

Ну и переберите эти значения, их всего-то два: Ложь (False) да Истина (True) — в чём затык?

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

ж) A AND (В OR С) и (A AND В) OR (A AND С);

Живой пример сумеете придумать?

@Казанский · 17.12.2012, 02:16

Перебрать все возможные комбинации можно так:

Visual Basic
1
2
3
4
5
6
7
8
9
Sub bb()
Dim A As Boolean, B As Boolean, C As Boolean, i%
For i = 0 To 7
    A = i And 1
    B = i And 2
    C = i And 4
    Debug.Print A, B, C
Next
End Sub

Допишите вычисление указанных функций и сравнение результатов.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .

@mrdi 0 / 0 / 0 Регистрация: 16.12.2012 Сообщений: 9

	Доказатьчто для любых величин А, В, С типа Boolean следующие пары логических выражений имеют одинаковые значения 17.12.2012, 01:42. Показов 2499. Ответов 2 Метки нет (Все метки) Доказать (путем перебора возможных значений), что для любых величин А, В, С типа Boolean следующие пары логических выражений имеют одинаковые значения (эквивалентны): а) A OR В и В OR A; б) 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 С); з) A OR (В AND С) и (A OR В) AND (A OR С). 0