Аналитические таблицы для пропозициональной модальной логики Программирование: