Доказательство логических законов Распределительный закон таблица истинности