Создание и анализ таблиц истинности для логических выражений