Выражение отрицания, конъюнкции и дизъюнкции через стрелку Пирса и штрих Шеффера

@eganator · Регистрация: 13.11.2017

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

Выражение отрицания, конъюнкции и дизъюнкции через стрелку Пирса и штрих Шеффера. Данные функции выражаются так:
Через стрелку Пирса:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x} = x \downarrow x$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?x \vee y = (x \downarrow y) \downarrow (x \downarrow y)$

Добавлено через 8 минут
Через стрелку Пирса:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x} = x \downarrow x$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?x \vee y = (x \downarrow y) \downarrow (x \downarrow y)$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?x \wedge y = (x \downarrow x) \downarrow (y \downarrow y)$

Через штрих Шеффера:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x} = x \uparrow x$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?x \vee y = (x \uparrow x) \uparrow (y \uparrow y)$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?x \wedge y = (x \uparrow y) \uparrow (x \uparrow y)$

И у меня вопрос, расписываются ли данные выражение подробнее?

@Ellipsoid · 11.04.2019, 11:22

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

расписываются ли данные выражение подробнее?

Нет.

@3D Homer · 11.04.2019, 20:03

Если под "подробнее" вы имеете в виду "длиннее", то можно еще так.

$https://www.cyberforum.ru/cgi-bin/latex.cgi?x\vee y = \{[(x \downarrow y) \downarrow (x \downarrow y)]\downarrow[(x \downarrow y) \downarrow (x \downarrow y)]\}\downarrow\{[(x \downarrow y) \downarrow (x \downarrow y)]\downarrow[(x \downarrow y) \downarrow (x \downarrow y)]\}$

Или что вы имеете в виду?

Новые блоги и статьи Все статьи Все блоги /
Работа с объемным DOM в javascript Htext 04.04.2025 Сегодня прочитал статью тут о расходах памяти в JS, ее утечках и т. п. И вот что вспомнил из своей недавней практики. Может, кому пригодится. Хотя, в той статье об этом тоже есть. Дело в том, что я. . .	Оптимизация производительности Node.js с помощью кластеризации run.dev 04.04.2025 Масштабирование приложений для обработки тысяч и миллионов запросов — обыденная задача для многих команд. Node. js, благодаря своей асинхронной событийно-ориентированной архитектуре, стал популярной. . .	Управление зависимостями в Python с Poetry py-thonny 04.04.2025 Стандартный инструмент для установки пакетов в Python - pip - прекрасно справляется с базовыми сценариями: установил пакет командой pip install и используешь его. Но что произойдёт, когда разные. . .	Мониторинг с Prometheus в PHP Jason-Webb 04.04.2025 Prometheus выделяется среди других систем мониторинга своим подходом к сбору и хранению метрик. В отличие от New Relic, который использует агентный подход и отправляет данные во внешнее хранилище,. . .	Пакет Context в Golang: Управление потоками и ресурсами golander 04.04.2025 Работа с горутинами в Go часто напоминает управление непослушными детьми - они разбегаются кто куда, делают что хотят и не всегда завершаются вовремя. К счастью, в Go 1. 7 появился пакет context,. . .
Контейнеризация React приложений с Docker Reangularity 03.04.2025 Контейнеризация позволяет упаковать приложение со всеми его зависимостями в автономный контейнер, который можно запустить на любой платформе с установленным Docker. Это существенно упрощает процессы. . .	Свой попап в SwiftUI mobDevWorks 03.04.2025 SwiftUI, как декларативный фреймворк от Apple, предоставляет множество инструментов для создания пользовательских интерфейсов. В нашем распоряжении есть такие API как alerts, popovers, action sheets. . .	Антипаттерны микросервисной архитектуры ArchitectMsa 03.04.2025 Хорошо спроектированная микросервисная система может выдержать испытание временем, оставаясь гибкой, масштабируемой и устойчивой к большинству проблем. Такая архитектура обладает высоким уровнем. . .	std::mutex в C++: Советы и примеры использования bytestream 03.04.2025 std::mutex - это механизм взаимного исключения, который гарантирует, что критический участок кода выполняется только одним потоком в каждый момент времени. Это простое, но могущественное средство. . .	Не удержался от оценки концепции двигателя Стирлинга. Hrethgir 03.04.2025 Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .

@eganator 72 / 52 / 8 Регистрация: 13.11.2017 Сообщений: 383

	Выражение отрицания, конъюнкции и дизъюнкции через стрелку Пирса и штрих Шеффера 11.04.2019, 10:58. Показов 12492. Ответов 2 Метки нет (Все метки) Выражение отрицания, конъюнкции и дизъюнкции через стрелку Пирса и штрих Шеффера. Данные функции выражаются так: Через стрелку Пирса: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x} = x \downarrow x$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?x \vee y = (x \downarrow y) \downarrow (x \downarrow y)$ Добавлено через 8 минут Через стрелку Пирса: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x} = x \downarrow x$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?x \vee y = (x \downarrow y) \downarrow (x \downarrow y)$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?x \wedge y = (x \downarrow x) \downarrow (y \downarrow y)$ Через штрих Шеффера: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x} = x \uparrow x$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?x \vee y = (x \uparrow x) \uparrow (y \uparrow y)$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?x \wedge y = (x \uparrow y) \uparrow (x \uparrow y)$ И у меня вопрос, расписываются ли данные выражение подробнее? 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	11.04.2019, 11:22
	Сообщение от eganator расписываются ли данные выражение подробнее? Нет. 1

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	11.04.2019, 20:03
	Если под "подробнее" вы имеете в виду "длиннее", то можно еще так. $https://www.cyberforum.ru/cgi-bin/latex.cgi?x\vee y = \{[(x \downarrow y) \downarrow (x \downarrow y)]\downarrow[(x \downarrow y) \downarrow (x \downarrow y)]\}\downarrow\{[(x \downarrow y) \downarrow (x \downarrow y)]\downarrow[(x \downarrow y) \downarrow (x \downarrow y)]\}$ Или что вы имеете в виду? 0