Логические операции: подтверждение и опровержение