Трехзначные логики и их расширения: использование в информатике и искусственном О в первом примере является