Практические приложения алгебры высказываний

дипломная работа

2.2 Получение логических следствий из данных формул и посылок для данных логических следствий

Делись добром ;)