Троичная логика - История изменений

Maintenance script: rollbackEdits.php mass rollback

2022-09-04T16:21:44Z

rollbackEdits.php mass rollback

194.26.192.187 в 05:16, 1 сентября 2022

2022-09-01T05:16:37Z

Romanosov: /* Двухместные операции */

2014-12-25T13:18:28Z

‎Двухместные операции

Romanosov: /* Преимущества троичной системы счисления перед двоичной */

2014-12-25T13:16:02Z

‎Преимущества троичной системы счисления перед двоичной

Shersh: /* Двухместные операции */

2014-12-24T20:51:37Z

‎Двухместные операции

Romanosov: /* Преимущества троичной системы счисления перед двоичной */

2014-12-24T19:37:31Z

‎Преимущества троичной системы счисления перед двоичной

Romanosov: /* Алгебраические свойства */

2014-12-24T19:30:33Z

‎Алгебраические свойства

Romanosov: /* Перспективы развития */

2014-12-24T19:28:20Z

‎Перспективы развития

Romanosov в 19:19, 24 декабря 2014

2014-12-24T19:19:23Z

Romanosov в 19:11, 24 декабря 2014

2014-12-24T19:11:13Z

Внесённые изменения

← Предыдущая		Версия 16:21, 4 сентября 2022
Строка 1:		Строка 1:
−	~~{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"~~
−	\|+
−	~~\|-align="center"~~
−	~~\|'''НЕТ ВОЙНЕ'''~~
−	~~\|-style="font-size: 16px;"~~
−	\|
−	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
−
−	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
−
−	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
−
−	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
−
−	~~''Антивоенный комитет России''~~
−	~~\|-style="font-size: 16px;"~~
−	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
−	~~\|-style="font-size: 16px;"~~
−	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
−	\|}
−
	'''Троичная''' или '''трёхзначная логика''' (англ. ''ternary logic'') — один из видов многозначной логики, использующий три истинностных значения.		'''Троичная''' или '''трёхзначная логика''' (англ. ''ternary logic'') — один из видов многозначной логики, использующий три истинностных значения.

← Предыдущая		Версия 05:16, 1 сентября 2022
Строка 1:		Строка 1:
		+	{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
		+	\|+
		+	\|-align="center"
		+	\|'''НЕТ ВОЙНЕ'''
		+	\|-style="font-size: 16px;"
		+	\|
		+	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
		+
		+	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
		+
		+	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
		+
		+	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
		+
		+	''Антивоенный комитет России''
		+	\|-style="font-size: 16px;"
		+	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
		+	\|-style="font-size: 16px;"
		+	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
		+	\|}
		+
	'''Троичная''' или '''трёхзначная логика''' (англ. ''ternary logic'') — один из видов многозначной логики, использующий три истинностных значения.		'''Троичная''' или '''трёхзначная логика''' (англ. ''ternary logic'') — один из видов многозначной логики, использующий три истинностных значения.

@@ Строка 132: / Строка 132: @@
 !style="background-color:#EEE"| <tex>\bf{a}</tex>
 !style="background-color:#EEE"| <tex>\bf{b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \vee b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \cdot b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \oplus b}</tex>
@@ Строка 337: / Строка 337: @@
 !style="background-color:#EEE;padding:2px 8px"| '''Обозначение'''
 !style="background-color:#EEE;padding:2px 8px"| '''Название'''
 |-
 |style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \vee b}</tex>
 |style="background-color:#FFF;padding:2px 8px"| Дизъюнкция
 |-
 |style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \cdot b}</tex>

@@ Строка 483: / Строка 483: @@
 {{Определение
 |definition =
-'''Троичная система счисления''' (англ. ''ternary numeral system'') — позиционная система счисления с целочисленным основанием, равным <tex>3</tex>. Существует в двух вариантах: '''несимметричная''' (<tex>\{0,1,2\}</tex>, <tex>\{0,1/2,1\}</tex> и др.) и '''симметричная''' (обычно <tex>\{-,0,+\}</tex> или <tex>\{−1,0,1\}</tex>).
+'''Троичная система счисления''' (англ. ''ternary numeral system'') — позиционная система счисления с целочисленным основанием, равным <tex>3</tex>. Существует в двух вариантах: '''несимметричная''' (<tex>\{0,1,2\}</tex>, <tex>\{0,1/2,1\}</tex> и др.) и '''симметричная''' (обычно <tex>\{-,0,+\}</tex> или <tex>\{-1,0,1\}</tex>).
 }}
 Троичная логика обладает рядом преимуществ перед двоичной. Ниже перечислены основные:

@@ Строка 140: / Строка 140: @@
 !style="background-color:#EEE"| <tex>\bf{a \Uparrow b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \rightarrow b}</tex>
-!style="background-color:#EEE"| <tex>\bf{a \equiv_{CMP} b}</tex>
+!style="background-color:#EEE"| <tex>\bf{a\ cmp\ b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \&_L b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \rightarrow_L b}</tex>
@@ Строка 160: / Строка 160: @@
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
-|style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
+|style="background-color:#FFF;padding:2px 20px;text-align: center;"| <tex>0</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
@@ Строка 180: / Строка 180: @@
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
-|style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
+|style="background-color:#FFF;padding:2px 20px;text-align: center;"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
@@ Строка 200: / Строка 200: @@
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
-|style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
+|style="background-color:#FFF;padding:2px 20px;text-align: center;"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
@@ Строка 220: / Строка 220: @@
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
-|style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
+|style="background-color:#FFF;padding:2px 20px;text-align: center;"| <tex>+</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
@@ Строка 240: / Строка 240: @@
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
-|style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
+|style="background-color:#FFF;padding:2px 20px;text-align: center;"| <tex>0</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
@@ Строка 260: / Строка 260: @@
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
-|style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
+|style="background-color:#FFF;padding:2px 20px;text-align: center;"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
@@ Строка 280: / Строка 280: @@
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
-|style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
+|style="background-color:#FFF;padding:2px 20px;text-align: center;"| <tex>+</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
@@ Строка 300: / Строка 300: @@
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
-|style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
+|style="background-color:#FFF;padding:2px 20px;text-align: center;"| <tex>+</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
@@ Строка 320: / Строка 320: @@
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>-</tex>
-|style="background-color:#FFF;padding:2px 20px"| <tex>0</tex>
+|style="background-color:#FFF;padding:2px 20px;text-align: center;"| <tex>0</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
 |style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
@@ Строка 362: / Строка 362: @@
 |style="background-color:#FFF;padding:2px 8px"| Среднее (''Mean'')
 |-
-|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \equiv_{CMP} b}</tex>
+|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a\ cmp\ b}</tex>
 |style="background-color:#FFF;padding:2px 8px"| Сравнение
 |-

@@ Строка 512: / Строка 512: @@
 Для того, чтобы определить максимальное значение функции, найдем ее производную:
-<tex>f'(p)=-n(p^{n/p - 2})(\ln p - 1) \ne 0 \Rightarrow \ln⁡ p - 1 = 0, \ln p = 1, p = e</tex>
+<tex>f'(p)=-n(p^{n/p - 2})(\ln p - 1) \Rightarrow \ln⁡ p - 1 = 0, \ln p = 1, p = e</tex>
 <tex>e \approx 2,71</tex>, ближайшее число к <tex>e</tex> — <tex>3</tex>. Таким образом, троичная СС не только экономичнее двоичной, но и экономичнее любой другой СС.

@@ Строка 428: / Строка 428: @@
 <tex>(+) ' = (-)</tex>
-<li>Имеет место быть '''неизменность третьего состояния''' ("0") при отрицании Лукаcевича:</li>
+<li>Имеет место быть '''неизменность третьего состояния''' (<tex>0</tex>) при отрицании Лукаcевича:</li>
 <tex>\overline{0} = 0</tex>

@@ Строка 1: / Строка 1: @@
 '''Троичная''' или '''трёхзначная логика''' (англ. ''ternary logic'') — один из видов многозначной логики, использующий три истинностных значения.
-}}
 В традиционной трёхзначной логике "лжи" и "истине" соответствуют знаки <tex>-</tex> и <tex>+</tex>. Третьему (серединному) состоянию соответствует знак <tex>0</tex>. Допустимо использование таких наборов знаков, как <tex>\{0,1,2\}</tex>, <tex>\{-1,0,1\}</tex>, <tex>\{0,1/2,1\}</tex> <tex>\{N,Z,P\}</tex>, и др. Иногда используют обозначения И, Л, Н (истина, ложь и неизвестность).
-Классическими примерами состояний такой логики являются знаки <tex>></tex>, <tex><</tex> и <tex>=</tex>, — значения, которые может принимать компаратор двух объектов.
+Классическим примером состояний такой логики является множество <tex>\{>, <, =\}</tex>, — значения, которые может принимать компаратор двух объектов.
 {{Определение
 |definition =
-'''Троичная функция''' (или '''тернарная функция''') от <tex>n</tex> переменных — это отображение <tex>B^n</tex> → <tex>B</tex>, где <tex>B = \{-, 0, +\}</tex>.
+'''Троичная функция''' (или '''тернарная функция''') от <tex>n</tex> переменных — это отображение <tex>T^n</tex> → <tex>T</tex>, где <tex>T = \{-, 0, +\}</tex>.
 }}
@@ Строка 142: / Строка 140: @@
 !style="background-color:#EEE"| <tex>\bf{a \Uparrow b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \rightarrow b}</tex>
-!style="background-color:#EEE"| <tex>\bf{a \equiv b}</tex>
+!style="background-color:#EEE"| <tex>\bf{a \equiv_{CMP} b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \&_L b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \rightarrow_L b}</tex>
@@ Строка 149: / Строка 147: @@
 !style="background-color:#EEE"| <tex>\bf{a \rightarrow_G b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \rightarrow_M b}</tex>
-!style="background-color:#EEE"| <tex>\bf{a \rightarrow b}</tex>
+!style="background-color:#EEE"| <tex>\bf{a \rightarrow_B b}</tex>
 !style="background-color:#EEE"| <tex>\bf{a \equiv b}</tex>
 |-