Значение логического выражения. Определение импликации и таблица истинности