Уравнения анализа булевых логических констант 0 и 1
Материал из энциклопедия четверичной логики
(Различия между версиями)
Wieiner (обсуждение | вклад) |
Wieiner (обсуждение | вклад) |
||
(не показаны 2 промежуточные версии 1 участника) | |||
Строка 11: | Строка 11: | ||
[[Файл:recurseqn_4.png|800px|thumb|center|.]] | [[Файл:recurseqn_4.png|800px|thumb|center|.]] | ||
+ | |||
+ | |||
+ | ---- | ||
+ | <div class="mw-collapsible mw-collapsed" style="width:800px; overflow: hidden;"> | ||
+ | дополнительная информация к размышлению, мысли | ||
+ | <div class="mw-collapsible-content"> | ||
+ | с точки зрения геометрической логики дизъюнкция двух противоположных логических переменных это U, а коньюнкция двух противоположных логических переменных - это N. тогда символы логики-4 соотносятся следующим образом: | ||
+ | |||
+ | [[Файл:recurseqn_5.png|800px|thumb|center|.]] | ||
+ | </div> | ||
+ | </div> |
Текущая версия на 22:26, 22 февраля 2016
В булевой логике существуют две основные константы "ИСТИНА" и "ЛОЖЬ". Зададим их константами T и F логики четырех состояний
рассмотрим систему уравнений:
это линейная система из четырех уравнений с четырьмя неизвестными. Решим ее. Для этого сначала решим систему из двух последних уравнений:
решая систему из первых двух уравнений исходной системы уравнений (I) имеем: