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