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