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

@Psylolain · Регистрация: 30.11.2012

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

[Найди пересечение]

Даны две логические функции, зависящие от четырех аргументов A, B, C и D.

F1(A,B,C,D) = ((A → B) → C) → D

F2(A,B,C,D) = ((D → C) → B) → A

Сколько существует различных комбинаций значений A, B, C и D, таких, что для них:

F1(A,B,C,D) = F2(A,B,C,D)

В ответе укажите целое число.

@Mikl___ · 30.01.2014, 10:47

$https://www.cyberforum.ru/cgi-bin/latex.cgi?((A\rightarrow B)\rightarrow C)\rightarrow D=(\bar{(\bar{A}+B)}+C)\rightarrow D=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(A\cdot \bar{B}+C)}+D=(\bar{A}+B)\bar{C}+D=\bar{A}\bar{C}+B\bar{C}+D$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?((D\rightarrow C)\rightarrow B)\rightarrow A=\bar{(\bar{(\bar{D}+C)}+B)}+A=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(\bar{(\bar{D}+C)}+B)}+A=(\bar{D}+C)\bar{B}+A=\bar{B}\bar{D}+\bar{B}C+A$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A}\bar{C}+B\bar{C}+D=\bar{B}\bar{D}+\bar{B}C+A$ если $https://www.cyberforum.ru/cgi-bin/latex.cgi?A=D$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?B=C$

Новые блоги и статьи Все статьи Все блоги /
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .
Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .

@Psylolain 0 / 0 / 0 Регистрация: 30.11.2012 Сообщений: 5

	Логические функции 19.12.2013, 21:54. Показов 1932. Ответов 1 Метки нет (Все метки) [Найди пересечение] Даны две логические функции, зависящие от четырех аргументов A, B, C и D. F1(A,B,C,D) = ((A → B) → C) → D F2(A,B,C,D) = ((D → C) → B) → A Сколько существует различных комбинаций значений A, B, C и D, таких, что для них: F1(A,B,C,D) = F2(A,B,C,D) В ответе укажите целое число. 0

@Mikl___ Ушел с форума 16373 / 7685 / 1080 Регистрация: 11.11.2010 Сообщений: 13,759
	30.01.2014, 10:47
	Сообщение было отмечено ildwine как решение Решение $https://www.cyberforum.ru/cgi-bin/latex.cgi?((A\rightarrow B)\rightarrow C)\rightarrow D=(\bar{(\bar{A}+B)}+C)\rightarrow D=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(A\cdot \bar{B}+C)}+D=(\bar{A}+B)\bar{C}+D=\bar{A}\bar{C}+B\bar{C}+D$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?((D\rightarrow C)\rightarrow B)\rightarrow A=\bar{(\bar{(\bar{D}+C)}+B)}+A=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(\bar{(\bar{D}+C)}+B)}+A=(\bar{D}+C)\bar{B}+A=\bar{B}\bar{D}+\bar{B}C+A$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A}\bar{C}+B\bar{C}+D=\bar{B}\bar{D}+\bar{B}C+A$ если $https://www.cyberforum.ru/cgi-bin/latex.cgi?A=D$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?B=C$ 0

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

Решение