Уравнения анализа булевых логических констант 0 и 1

Материал из энциклопедия четверичной логики
Перейти к: навигация, поиск

В булевой логике существуют две основные константы "ИСТИНА" и "ЛОЖЬ". Зададим их константами T и F логики четырех состояний

рассмотрим систему уравнений:

.

это линейная система из четырех уравнений с четырьмя неизвестными. Решим ее. Для этого сначала решим систему из двух последних уравнений:

.

решая систему из первых двух уравнений исходной системы уравнений (I) имеем:

.
.



дополнительная информация к размышлению, мысли

с точки зрения геометрической логики дизъюнкция двух противоположных логических переменных это U, а коньюнкция двух противоположных логических переменных - это N. тогда символы логики-4 соотносятся следующим образом:

.
Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты