https://www.ng.ru/specfile/2000-09-29/11_logika.html