Таблица истинности: доказательства и примеры логических законов