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