deductive algorithm

дедуктивний алгоритм (моделювання справних і несправних ВІС)