Калькулятор логических функций - программа для получения таблиц истинности логических функций с числом переменных от одной до пяти