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