Проведите доказательство логических законов