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